Title :
Logic controller synthesis for net condition/event systems with forbidden paths
Author :
Luder, Arndt ; Anderssohn, Uwe ; Hanisch, Hans-Michael
Author_Institution :
Dept. of Electr. Eng., Univ. of Magdeburg, Magdeburg, Germany
Abstract :
We present a method for modelling forbidden behaviour of a plant by means of a specification in terms of forbidden paths in Net Condition/Event systems. In contrast to prior work [2] wich is based on a complete set of all reachable states and state transitions, we demonstrate that forbidden paths in the framework of Net Condition/Event systems are of local nature. By this reason it is possible to calculate locking controllers for forbidden paths without complete enumeration of the whole state space of our plant model. Furthermore, our method permits a modular way of specification modelling and controller synthesis.
Keywords :
control system synthesis; discrete event systems; formal specification; process control; programmable controllers; reachability analysis; state-space methods; PLC; forbidden path; locking controllers; logic controller synthesis; net condition-event systems; plant forbidden behaviour modelling; plant model; process control; reachable states; specification modelling; state space; state transition; Abstracts; Aerospace electronics; Complexity theory; Discrete-event systems; Mathematical model; Petri nets; Valves; Discrete event systems; Forbidden paths; Logic controller synthesis; Net Condition/Event systems; Process control;
Conference_Titel :
Control Conference (ECC), 1997 European
Conference_Location :
Brussels
Print_ISBN :
978-3-9524269-0-6
