Decentralized Supervisory Control of Timed Discrete Event Systems Using a Partition of the Forcible Event Set

スポンサーリンク

概要

• 論文の詳細を見る

• In the framework of decentralized supervisory control of timed discrete event systems (TDESs), each local supervisor decides the set of events to be enabled to occur and the set of events to be forced to occur under its own local observation in order for a given specification to be satisfied. In this paper, we focus on fusion rules for the enforcement decisions and adopt the combined fusion rule using the AND rule and the OR rule. We first derive necessary and sufficient conditions for the existence of a decentralized supervisor under the combined fusion rule for a given partition of the set of forcible events. We next study how to find a suitable partition.

• 2012-05-01

著者

• Takai Shigemasa

  Division Of Electrical Electronic And Information Engineering Osaka University

• Nomura Masashi

  Division Of Electrical Electronic And Information Engineering Osaka University

関連論文

• Modular Synthesis of Maximally Permissive Opacity-Enforcing Supervisors for Discrete Event Systems
• Decentralized Supervisory Control of Timed Discrete Event Systems Using a Partition of the Forcible Event Set
• Decentralized Supervisory Control of Timed Discrete Event Systems
• Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems

スポンサーリンク