Modular and decentralized supervisory control of concurrent discrete event systems using reduced system models

Author

Schmidt, Klaus ; Marchand, Hervé ; Gaudin, Benoit

Author_Institution

Lehrstuhl fur Regelungstechnik, Univ. Erlangen-Nurnberg, Erlangen

fYear

2006

fDate

10-12 July 2006

Firstpage

149

Lastpage

154

Abstract

This paper investigates the supervisor synthesis for concurrent systems based on reduced system models with the intention of complexity reduction. It is assumed that the expected behavior (specification) is given on a subset of the system alphabet, and the system behavior is reduced to this alphabet. Supervisors are computed for each reduced subsystem employing the modular approach in Komenda et al. (2005) and the decentralized approach in Lee and Wong (2002). Depending on the chosen architecture, we provide sufficient conditions for the consistent implementation of the reduced supervisors for the original system

Keywords

computational complexity; control system synthesis; decentralised control; discrete event systems; complexity reduction; concurrent discrete event systems; decentralized supervisory control; hierarchical control; modular supervisory control; reduced system models; supervisor synthesis; Computer architecture; Concurrent computing; Control system synthesis; Control systems; Discrete event systems; Distributed control; Explosions; Large-scale systems; Sufficient conditions; Supervisory control;

fLanguage

English

Publisher

ieee

Conference_Titel

Discrete Event Systems, 2006 8th International Workshop on

Conference_Location

Ann Arbor, MI

Print_ISBN

1-4244-0053-8

Type

conf

DOI

10.1109/WODES.2006.1678423

Filename

1678423