On-Line Synthesis of Decentralized Supervisors for Discrete Event Systems (Special Section on Concurrent Systems Technology)
スポンサーリンク
概要
- 論文の詳細を見る
In this paper, we study decentralized supervisory control of discrete event systems where local disabling actions are fused by the OR rule. We generalize an on-line procedure for synthesizing decentralized supervisors proposed by Prosser. By using the generalized procedure, we can achieve a sublanguage of a specification which is not achieved by a class of decentralized supervisors synthesized by the Prosser's procedure.
- 社団法人電子情報通信学会の論文
- 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
関連論文
- 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