Synthesis of Reliable Decentralized Supervisors for Discrete Event Systems (Special Section on Concurrent Systems Technology)
スポンサーリンク
概要
- 論文の詳細を見る
We consider a discrete event system controlled by a decentralized supervisor consisting of n local supervisors. Given a nonempty and closed language as the upper bound specification, we consider a problem to synthesize a reliable decentralized supervisor such that the closed-loop behavior is still legal under possible failures of any less than or equal to n - k (1<__k<__n) local supervisors. We synthesize two such reliable decentralized supervisors. One is synthesized based on a suitably defined normal sublanguage. The other is the fully decentralized supervisor induced by a suitably defined centralized supervisor. We then show that the generated languages under the control actions of these two decentralized supervisors are incomparable.
- 社団法人電子情報通信学会の論文
- 2000-11-25
著者
-
Takai Shigemasa
The Department Of Opto-mechatronics Wakayama University
-
USHIO Toshimitsu
the Graduate School of Engineering Science, Osaka University
-
Ushio Toshimitsu
The Graduate School Of Engineering Science Osaka University
-
Ushio Toshimitsu
The Graduate School Of Systems And Human Science Osaka University
関連論文
- Applications of Discrete Event and Hybrid Systems in Humanoid Robots(Concurrent Systems and Hybrid Systems)
- Weak Normality for Nonblocking Supervisory Control of Discrete Event Systems under Partial Observation(Special Section on Concurrent Systems Technology)
- On-Line Synthesis of Decentralized Supervisors for Discrete Event Systems (Special Section on Concurrent Systems Technology)
- Formal Detection of Three Automation Surprises in Human-Machine Interaction(Concurrent Systems)(Concurrent Systems and Hybrid Systems)
- Synthesis of Reliable Decentralized Supervisors for Discrete Event Systems (Special Section on Concurrent Systems Technology)
- Co-scheduling of Communication and Control of Multi-Hop Control Networks