Decentralized Supervisory Control of Timed Discrete Event Systems

スポンサーリンク

概要

• 論文の詳細を見る

• In the framework of supervisory control of timed discrete event systems (TDESs), a supervisor decides the set of events to be enabled to occur and the set of events to be forced to occur in order for a given specification to be satisfied. In this paper, we consider decentralized supervisory control of TDESs where enforcement decisions of local supervisors are fused by the AND rule or the OR rule. We derive existence conditions of a decentralized supervisor under these decision fusion rules.

• The Institute of Electronics, Information and Communication Engineersの論文
• 2011-12-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

スポンサーリンク