论文信息 - Logic controller synthesis for net condition/event systems with forbidden paths

Logic controller synthesis for net condition/event systems with forbidden paths

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.

Arndt Luder | Hans-Michael Hanisch | Uwe Anderssohn

[1] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .

[2] Bruce H. Krogh,et al. On condition/event systems with discrete state realizations , 1991, Discret. Event Dyn. Syst..

[3] H.-M. Hanisch,et al. A Modular Modelling, Controller Synthesis and Automatic Control Code Generation Framework , 1996 .

[4] Mathias P. Rausch. Modulare Modellbildung, Synthese und Codegenerierung ereignisdiskreter Steuerungssysteme , 1997 .

[5] H.-M. Hanisch,et al. Algebraic synthesis and verification of discrete supervisory controllers for forbidden path specifications , 1994, Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology.

[6] Hans-Michael Hanisch,et al. Controller Synthesis for Net Condition/Event Systems with a Solution for Incomplete State Observation , 1997, Eur. J. Control.

[7] H.-M. Hanisch,et al. Permissive control of Boolean condition/event systems: Synthesis and limits , 1994, Proceedings of 1994 9th IEEE International Symposium on Intelligent Control.