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.

fYear

2006

fDate

14-16 June 2006

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;

fLanguage

English

Publisher

ieee

Conference_Titel

American Control Conference, 2006

Conference_Location

Minneapolis, MN

Print_ISBN

1-4244-0209-3

Electronic_ISBN

1-4244-0209-3

Type

conf

DOI

10.1109/ACC.2006.1657690

Filename

1657690