Supervisory Control of Timed Discrete Event Systems Based on Bisimulation

点击翻译按钮获取中文摘要

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