DocumentCode
335333
Title
Dynamical supervision for a class of discrete event systems with concurrent events
Author
Wang, Li-ya ; Jiang, Zhi-ping ; Wu, Zhi-Ming
Author_Institution
Dept. of Autom. Control, Shanghai Jiaotong Univ., China
Volume
1
fYear
1994
fDate
29 June-1 July 1994
Firstpage
1111
Abstract
We introduce a controlled Petri net to model the concurrent discrete event system. In the context of languages, the control problem of forbidden concurrent event string of discrete event systems is analyzed. Then the specification of a supervisor for a discrete event system is discussed in terms of a legal language and its supremal controllable sublanguage, which leads to a practical realization, i.e., dynamical supervision.
Keywords
Petri nets; discrete event systems; formal languages; concurrent discrete event system; controlled Petri net; dynamical supervision; forbidden concurrent event string; legal language; supremal controllable sublanguage; Automatic control; Concurrent computing; Control systems; Discrete event systems; Law; Legal factors; Petri nets;
fLanguage
English
Publisher
ieee
Conference_Titel
American Control Conference, 1994
Print_ISBN
0-7803-1783-1
Type
conf
DOI
10.1109/ACC.1994.751920
Filename
751920
Link To Document