Supervisory Control of a Class of Concurrent Discrete Event Systems(<Special Section>Selected Papers from the 16th Workshop on Circuits and Systems in Karuizawa)
スポンサーリンク
概要
- 論文の詳細を見る
In this paper, we study supervisory control of a class of discrete event systems with simultaneous event occurrences, which we call concurrent discrete event systems. The behavior of the system is described by a language over the simultaneous event set. We introduce a notion of concurrent well-posedness of languages. We then prove that L_m(G)-closure, controllability, and concurrent well-posedness of a specification language are necessary and sufficient conditions for the existence of a nonblocking supervisor. We address the computational complexity for verifying the existence conditions.
- 社団法人電子情報通信学会の論文
- 2004-04-01
著者
-
Takai Shigemasa
Department Of Information Science Kyoto Institute Of Technology
-
USHIO Toshimitsu
Department of Systems Innovation, Osaka University
-
Ushio Toshimitsu
Department Of Systems And Human Science Osaka University
-
TAKAI Shigemasa
Department of Electronics and Information Science, Kyoto Institute of Technology
関連論文
- Decentralized Supervisory Control of Discrete Event Systems Using Dynamic Default Control(Concurrent/Hybrid Systems : Theory and Applications)
- Reliable Decentralized Supervisory Control of Discrete Event Systems with the Conjunctive and Disjunctive Fusion Rules
- Supervisory Control of a Class of Concurrent Discrete Event Systems(Selected Papers from the 16th Workshop on Circuits and Systems in Karuizawa)
- A Formula for the Supremal Controllable and Opaque Sublanguage Arising in Supervisory Control
- Computation of Controllable Sublanguages for Unbounded Petri Nets Using Their Approximation Models(Concurrent Systems,Concurrent/Hybrid Systems: Theory and Applications)
- Reliable Decentralized Supervisory Control of Discrete Event Systems with the Conjunctive and Disjunctive Fusion Rules(Concurrent System Technology)
- Stability Analysis for a Class of Interconnected Hybrid Systems