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/
• 关键词: 制御工学; 離散事象システム; スーパバイザ制御

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

実システムの多くは Time に关するRestricted のもとでaction するリアルタイムシステムとみなせる. The purpose of this study is not conclusive.その様に対するスーパバイザcontrol theory をEstablish the purpose of することをとしている. Non-decisional control problem, control problem, control problem, control problem The problem of control of the control of the imperial family is the double imitation of the control of the royal family. The solution to the double imitation control problem is the proof of the existence of the double imitation control problem, and the proof of the existence of the double imitation control problem is the proof of the existence of the double imitation control problem. The calculation amount of the イザの composition method is the same as the システムとcontrol royal official status number and the index of the オーダである.しかし, the decisive のオートマトンでモデル化されるspecial occasion には, the problem of double imitation control is solved Qualitative のスーパバイザのExistence がpolynomial オーダで検 prove できることが, the research representative の従 came to study で Show されている.そこで本研究では, decisive のオートマトンでモデル化されたcontroller 様に対して, solution to the problem of double imitation controlるNon-deterministic のスーパバイザがexistent するならば, ずdeterminative のスーパバイザもexistent することを明らかにした．このRESULT により, control the decisive のオートマトンでモデル化される occasion, double imitation control The solution to the problem is the existence of the polynomial, and the proof of the polynomial is the proof.この得られたachievementは、non-determinative オートマトンでモデル化されるようなContribution to the basic theory and construction of the design of the control system.

项目成果

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;高井重昌
• 通讯作者: 高井重昌