Title :
Synthesis of feedback supervisor for controlled Petri nets
Author :
Xing Keyi ; Hu Baosheng ; Chen Haoxun
Author_Institution :
Dept. of Appl. Math., Xidian Univ., Xi´an, China
Abstract :
This paper presents an effective synthesis algorithm for the state feedback supervisor by which the closed-loop system accepts the supremal controllable sublanguage of a given Petri net language.<>
Keywords :
Petri nets; closed loop systems; control system synthesis; formal languages; state feedback; Petri net language; closed-loop system; controlled Petri nets; state feedback supervisor; supremal controllable sublanguage; synthesis algorithm; Automata; Control system synthesis; Equations; Fires; Petri nets; State feedback; Supervisory control; Systems engineering and theory;
Conference_Titel :
TENCON '93. Proceedings. Computer, Communication, Control and Power Engineering.1993 IEEE Region 10 Conference on
Conference_Location :
Beijing, China
Print_ISBN :
0-7803-1233-3
DOI :
10.1109/TENCON.1993.320432
