IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Online ISSN : 1745-1337
Print ISSN : 0916-8508
Special Section on Mathematical Systems Science and its Applications
Decentralized Supervisory Control of Timed Discrete Event Systems
Masashi NOMURAShigemasa TAKAI
Author information

2011 Volume E94.A Issue 12 Pages 2802-2809


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.

Information related to the author
© 2011 The Institute of Electronics, Information and Communication Engineers
Previous article Next article