Title :
Decentralized supervisory predicate control of discrete event dynamical systems
Author :
Haji-Valizadeh, Alireza ; Loparo, Kenneth A.
Author_Institution :
Dept. of Syst. Eng., Case Western Reserve Univ., Cleveland, OH, USA
fDate :
29 June-1 July 1994
Abstract :
In this paper we study the problem of decentralized supervisory control of discrete event dynamical systems where the control objective is given in terms of predicates defined on the state space. We introduce notions of statically and rationally decentralizable predicates. When a predicate is decentralizable, we construct decentralized supervisors that can realize the predicates that define the control objective.
Keywords :
decentralised control; discrete event systems; formal logic; state-space methods; control objective; decentralized supervisors; decentralized supervisory predicate control; discrete event dynamical systems; state space; Control system synthesis; Control systems; Controllability; Formal languages; Mathematical model; Observability; Stability; State-space methods; Supervisory control; Systems engineering and theory;
Conference_Titel :
American Control Conference, 1994
Print_ISBN :
0-7803-1783-1
DOI :
10.1109/ACC.1994.751917