2023 Fiscal Year Research-status Report
Supervisory Control of Timed Discrete Event Systems Based on Bisimulation
| Project/Area Number |
22K04167
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
高井 重昌 大阪大学, 大学院工学研究科, 教授 (60243177)
|
|---|
| Project Period (FY) |
2022-04-01 – 2026-03-31
|
| Keywords | 制御工学 / 離散事象システム / スーパバイザ制御 |
|---|
| Outline of Annual Research Achievements |
実システムの多くは時間に関する制約のもとで動作するリアルタイムシステムとみなせる．本研究では，非決定性オートマトンでモデル化されたリアルタイムシステムとその仕様に対するスーパバイザ制御理論を確立することを目的としている．一方で，現実の多くのシステムはネットワーク化され，分散的に制御・管理されている．このようなシステムのネットワーク化に対応できる分散スーパバイザ制御理論の確立も喫緊の課題である．
複数のローカルスーパバイザから構成される分散スーパバイザ制御系においては，各ローカルスーパバイザがローカルな観測情報に基づき，制御に関するどのような判断を下すのか，各ローカルスーパバイザが下した判断をコーディネータがどのように統合し，制御動作を決定するのか，といったことを定める必要がある．
そこで本研究では，スーパバイザによってその生起を禁止することができる可制御事象に対して，各ローカルスーパバイザがローカルな観測情報に基づき，その可制御事象を禁止すべき状態の推定，もしくは許可すべき状態の推定を行い，コーディネータはローカルスーパバイザの推定の交わりをとり，それが空か否かによって制御動作を決定するような分散スーパバイザ制御系について考察し，以下の成果が得られた．
まず，このような分散スーパバイザ制御系において，与えられた制御仕様が満足されるための必要十分条件を明らかにした．そして，その条件が満足されるか否かを検証する方法を開発した．さらに，従来研究で提案されていた分散スーパバイザ制御系と本研究で考察した分散スーパバイザ制御系との比較を行い，従来の分散スーパバイザ制御系では満足されなかった制御仕様が，本研究で考察した分散スーパバイザ制御系において満足される場合を示した．
この成果は、オートマトンでモデル化されるようなシステムに対する分散制御系設計の基礎理論の構築に貢献するものである．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
令和4年度では，時間付き非決定性離散事象システムとしてモデル化された制御対象とその仕様に対して，双模倣制御問題の解となるスーパバイザが存在するための必要十分条件を導出し，導出した条件の検証およびスーパバイザの構成のための計算量を解析することを，令和5年度では，双模倣制御問題の解となるスーパバイザが存在しない場合において，制御された対象システムの振舞いが仕様に模倣されることのみを要求する模倣制御問題について考察することを予定していた．
実際には，令和4年度では，時間の経過をモデルに含めない非決定性離散事象システムとしてモデル化された制御対象に対し，その仕様が決定性のオートマトンでモデル化される特別な場合において，双模倣制御問題の解となるスーパバイザの存在性が，多項式オーダで検証できることを明らかにした．そして令和5年度では，可制御事象に対して，まず，各ローカルスーパバイザがローカルな観測情報に基づき，その可制御事象を禁止すべき状態の推定，もしくは許可すべき状態の推定を行い，そして，コーディネータがローカルスーパバイザの推定の交わりをとり，それが空か否かによって制御動作を決定するような分散スーパバイザ制御系において，与えられた制御仕様が満足されるための必要十分条件を明らかにし，その条件が満足されるか否かを検証する方法を開発した．この成果はインパクトファクターが6.8であり，システム制御理論の分野でトップクラスの論文誌であるIEEE Transactions on Automatic Controlに掲載されている．
また，当初実施を予定していた，時間付き非決定性離散事象システムとしてモデル化された制御対象とその仕様に対する双模倣制御問題，模倣制御問題に対しても，それらの解決への目途が立っている．
よって，研究はおおむね順調に進展しているといえる．
|
| Strategy for Future Research Activity |
本研究では，非決定性オートマトンでモデル化されたリアルタイムシステムとその仕様に対するスーパバイザ制御理論を確立することを目的としている．一方，現実の多くのシステムはネットワーク化され，分散的に制御・管理されている．このようなシステムのネットワーク化に対応できる分散スーパバイザ制御理論の確立も喫緊の課題である．
そこで，非決定性離散事象システムを対象とした分散スーパバイザ制御理論の確立を優先し，複数のローカルスーパバイザからなる分散スーパバイザによる双模倣制御問題に取り組む．特に，双模倣制御問題の解となる分散スーパバイザが存在するための必要十分条件の導出に注力する．
その後，時間付き非決定性離散事象システムとしてモデル化された制御対象とその仕様に対して，双模倣制御問題の解となるスーパバイザが存在するための必要十分条件を導出し，スーパバイザの一般的な構成法を開発する．そして，導出した条件の検証およびスーパバイザの構成のための計算量を解析し，その評価を行う．双模倣制御問題の解となるスーパバイザが存在しない場合には，双模倣等価性という制御要求を緩和する必要がある．そこで，制御された対象システムの振舞いが仕様に模倣されることのみを要求する模倣制御問題についても考察する．
これらの制御問題に加え，制御系の信頼性を高めることを目的に，システム内での故障事象の生起などを検出するための診断システムに関する研究にも取り組む．
|
| Causes of Carryover |
当初，得られた研究成果の発表のため，令和5年度に国際会議参加のための外国出張を予定していた．しかし，投稿時期が合わず，令和6年度に開催される国際会議で発表することになった．また，令和5年度に計算機の購入も予定していたが，実際には購入することなく研究を実施することができた．そのため次年度使用額が生じた．次年度使用額は，国際線の航空運賃が高騰しているため，次年度分として請求した助成金と合わせて，主に国際会議参加のための外国出張の旅費として使用する．
|
