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

fYear

1997

fDate

1-7 July 1997

Firstpage

2045

Lastpage

2050

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Control Conference (ECC), 1997 European

Conference_Location

Brussels

Print_ISBN

978-3-9524269-0-6

Type

conf

Filename

7082406