Supervisory Control of Timed Discrete Event Systems Based on Bisimulation

基于互仿真的定时离散事件系统监控

• 批准号: 22K04167
• 负责人: 高井 重昌
• 金额: $ 2.66万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2022
• 资助国家: 日本
• 起止时间: 2022-04-01 至 2026-03-31
• 项目状态: 未结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22K04167/
• 关键词: 制御工学; 離散事象システム; スーパバイザ制御

実システムの多くは時間に関する制約のもとで動作するリアルタイムシステムとみなせる．本研究では，非決定性オートマトンでモデル化されたリアルタイムシステムとその制御仕様に対するスーパバイザ制御理論を確立することを目的としている．非決定性オートマトンでモデル化されたシステムと制御仕様に対する一般的な制御問題として，制御されたシステムと制御仕様が双模倣となるようなスーパバイザを構成する双模倣制御問題がある．双模倣制御問題の解となるスーパバイザの存在性の検証，および存在する場合のスーパバイザの構成法の計算量は，対象システムと制御仕様の状態数に関して指数オーダである．しかし，制御仕様が決定性のオートマトンでモデル化される特別な場合には，双模倣制御問題の解となる決定性のスーパバイザの存在性が多項式オーダで検証できることが，研究代表者の従来研究で示されている．そこで本研究では，決定性のオートマトンでモデル化された制御仕様に対して，双模倣制御問題の解となる非決定性のスーパバイザが存在するならば，必ず決定性のスーパバイザも存在することを明らかにした．この結果により，制御仕様が決定性のオートマトンでモデル化される場合，双模倣制御問題の解となるスーパバイザの存在性が，多項式オーダで検証できることが示された．この得られた成果は、非決定性オートマトンでモデル化されるようなシステム対する制御系設計の基礎理論の構築に貢献するものである．

There are many く く time に that are related to する restricting the <s:1> とで action するリア タ タ ムシステムとみなせる ムシステムとみなせる ムシステムとみなせる. This study で は, non-deterministic オ ー ト マ ト ン で モ デ ル change さ れ た リ ア ル タ イ ム シ ス テ ム と そ の suppression shi others に す seaborne る ス ー パ バ イ ザ を suppression theory established す る こ と を purpose と し て い る. Non-deterministic オ ー ト マ ト ン で モ デ ル change さ れ た シ ス テ ム と suppression shi others に す seaborne る general な suppression problem と し て, suppression さ れ た シ ス テ ム と suppression shi others が double imitate と な る よ う な ス ー パ バ イ ザ を constitute す る double imitation royal problem が あ る. Double imitation royal の solutions と な る ス ー パ バ イ ザ の existence の 検 card, お よ び exist す る occasions の ス ー パ バ イ ザ の は の composition method computation, like シ seaborne ス テ ム と suppression shi others の state number に masato し て index オ ー ダ で あ る. し か し, suppression shi others が decisive の オ ー ト マ ト ン で モ デ ル change さ れ る な special occasions に は, double imitation royal の solutions と な る decisive の ス ー パ バ イ ザ の existence が polynomial オ ー ダ で 検 card で き る こ と が, research representatives の 従 to study で shown さ れ て い る. そ こ で this study で は, decisive の オ ー ト マ ト ン で モ デ ル change さ れ た suppression shi others に し seaborne て, double imitation royal の solutions と な る non-decisive の ス ー パ バ イ ザ が exist す る な ら ば, will ず decisive の ス ー パ バ イ ザ も exist す る こ と を Ming ら か に し た. こ の results に よ り, suppression shi others が decisive の オ ー ト マ ト ン で モ デ ル change さ れ る occasions, double imitation royal の solutions と な る ス ー パ バ イ ザ の existence が, polynomial オ ー ダ で 検 card で き る こ と が shown さ れ た. こ の have ら れ た results は, non-deterministic オ ー ト マ ト ン で モ デ ル change さ れ る よ う な シ ス テ ム す seaborne る の の suppression system design theory to construct に contribution す る も の で あ る.

项目成果

Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications

具有确定性规范的部分观测的非确定性离散事件系统的双相似性控制的多项式时间验证

• DOI: 10.1016/j.automatica.2023.110940
• 发表时间: 2023
• 期刊: Automatica
• 影响因子: 6.4
• 作者: 吉岡 璃皇;浦川 禎之;Shigemasa Takai
• 通讯作者: Shigemasa Takai

非決定性離散事象システムの双模倣制御における決定性スーパバイザの存在性に関する一考察

非确定性离散事件系统双拟态控制中确定性监督器的存在性研究

• 发表时间: 2023
• 作者: 吉岡 璃皇;浦川 禎之;Shigemasa Takai;高井重昌
• 通讯作者: 高井重昌