Title :
Synthesis of locking controllers based on extended net condition event systems
Author_Institution :
Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
Abstract :
In this paper we present an algorithm for controller synthesis for forbidden state problems. We use the approach of previous work but we use an extended model form. In this extended model form based on net condition/event systems the user can connect the signals between the modules with logical operations (AND, OR, NOT). So the modeling is easier and the models are more compact. On the other hand the algorithm for the controller synthesis is more complicated
Keywords :
Petri nets; control system synthesis; discrete event systems; controller synthesis; extended net condition/event systems; forbidden state problems; locking controllers; logical operations; Automata; Automatic control; Continuous time systems; Control system synthesis; Fires; Joining processes; Petri nets; Signal synthesis;
Conference_Titel :
Emerging Technologies and Factory Automation Proceedings, 1997. ETFA '97., 1997 6th International Conference on
Conference_Location :
Los Angeles, CA
Print_ISBN :
0-7803-4192-9
DOI :
10.1109/ETFA.1997.616330
