Supervisory control of extended timed event graph

Author

Zhuo, Zhibing ; Chen, Wende

Author_Institution

Inst. of Syst. Sci., Acad. Sinica, Beijing, China

Volume

4

fYear

2000

fDate

2000

Firstpage

2322

Abstract

This paper describes the dynamic behavior of extended timed event graphs (ETEG) related to place delay in the dioid framework. By Cofer and Garg´s supervisory control theory (1996), we address control problems of extended timed event graphs. Supervisory control of extended timed event graphs (a class of discrete event dynamic systems) is studied in the dioid framework. A necessary and sufficient condition for the ideals of the set of firing time sequences of transitions to be controllable is presented. We prove all the strongly controllable subsets can form a complete lattice

Keywords

controllability; delays; directed graphs; discrete event systems; DEDS; ETEG; complete lattice; dioid framework; discrete event dynamic systems; dynamic behavior; extended timed event graph; necessary and sufficient condition; strongly controllable subsets; supervisory control; transition firing time sequences set controllability; Abstract algebra; Control systems; Controllability; Delay effects; Equations; Lattices; Mathematics; Sufficient conditions; Supervisory control;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Control and Automation, 2000. Proceedings of the 3rd World Congress on

Conference_Location

Hefei

Print_ISBN

0-7803-5995-X

Type

conf

DOI

10.1109/WCICA.2000.862429

Filename

862429