Title :
Synthesis of feedback control logic for controlled Petri nets with FBCF uncontrolled subnet
Author_Institution :
Inst. of Syst. Eng., Xian Jiaotong Univ., Xian, China
Abstract :
This paper extends the previous work of Holloway and Krogh (1990) on the synthesis of feedback control logic for controlled cyclic marked graphs. A more general class of controlled Petri nets are considered and the restrictions on initial markings and forbidden state set specifications of controlled cyclic marked graphs in their work are taken away
Keywords :
Petri nets; control system synthesis; discrete event systems; set theory; state feedback; controlled Petri nets; controlled cyclic marked graphs; feedback control logic synthesis; forbidden state set specifications; forward backward conflict free net; state feedback; Automata; Automatic control; Control system synthesis; Control theory; Discrete event systems; Feedback control; Logic; Petri nets; Power system modeling; Systems engineering and theory;
Conference_Titel :
Decision and Control, 1994., Proceedings of the 33rd IEEE Conference on
Conference_Location :
Lake Buena Vista, FL
Print_ISBN :
0-7803-1968-0
DOI :
10.1109/CDC.1994.411309