DocumentCode
3476417
Title
Synthesis of locking controllers based on extended net condition event systems
Author
Rausch, M.
Author_Institution
Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
fYear
1997
fDate
9-12 Sep 1997
Firstpage
551
Lastpage
554
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ETFA.1997.616330
Filename
616330
Link To Document