Title :
Supervisory control of extended timed event graph
Author :
Zhuo, Zhibing ; Chen, Wende
Author_Institution :
Inst. of Syst. Sci., Acad. Sinica, Beijing, China
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;
Conference_Titel :
Intelligent Control and Automation, 2000. Proceedings of the 3rd World Congress on
Conference_Location :
Hefei
Print_ISBN :
0-7803-5995-X
DOI :
10.1109/WCICA.2000.862429
