Decentralized supervisory control of discrete-event systems based on State Tree Structures

Author

Wujie, Chao ; Yongmei, Gan ; Zhaoan, Wang ; Wonham, W.M.

Author_Institution

Sch. of Electr. Eng., Xi´´an Jiaotong Univ., Xi´´an, China

fYear

2012

fDate

25-27 July 2012

Firstpage

2184

Lastpage

2190

Abstract

Decentralized supervisory control of discrete-event systems (DES) is developed, by use of State Tree Structures (STS) to manage state explosion. Assuming the specification of the controlled system can be decomposed into several sub-specifications, we design a separate optimal (maximally permissive) supervisor for each. If the decentralized supervisory controlled system is blocking, an additional coordinator is adjoined. The result guarantees that the controlled behavior of the decentralized supervisory controlled system is both nonblocking and optimal.

Keywords

control system synthesis; decentralised control; discrete event systems; optimal control; trees (mathematics); DES; STS; controlled system; decentralized supervisory controlled system; discrete-event systems; optimal supervisor; state explosion; state tree structures; Automata; Data structures; Discrete event systems; Educational institutions; Electronic mail; Supervisory control; Coordinator; Decentralized Supervisory Control; Discrete-Event Systems; Nonblocking; Optimal; State Tree Structures;

fLanguage

English

Publisher

ieee

Conference_Titel

Control Conference (CCC), 2012 31st Chinese

Conference_Location

Hefei

ISSN

1934-1768

Print_ISBN

978-1-4673-2581-3

Type

conf

Filename

6390286