Title :
Decentralized supervisory control and communication for reactive discrete-event systems
Author :
Du, Liang ; Ricker, S. Laurie ; Gohari, Peyman
Author_Institution :
Dept. of Electr. & Comput. Eng., Concordia Univ., Montreal, Que.
Abstract :
A class of decentralized supervisory control problems for modeling reactive systems is presented. To capture the behavior of a reactive system, where interaction with an unpredictable environment must be taken into consideration, the discrete-event systems are modeled by input/ouput automata. Control strategies - with and without communication between decentralized supervisors - for implementing safety specifications are provided. Necessary and sufficient conditions for this new class of problems are also formulated. An algorithm is provided for designating minimal communication
Keywords :
decentralised control; discrete event systems; control strategy; decentralized supervisory control; input automata; minimal communication; necessary conditions; ouput automata; reactive discrete-event systems; reactive systems modeling; sufficient conditions; Automata; Automatic control; Communication system control; Control systems; Discrete event systems; Distributed control; Power generation; Safety; Sufficient conditions; Supervisory control;
Conference_Titel :
American Control Conference, 2006
Conference_Location :
Minneapolis, MN
Print_ISBN :
1-4244-0209-3
Electronic_ISBN :
1-4244-0209-3
DOI :
10.1109/ACC.2006.1657690
