Model-based programming and diagnosis for programmable logical controllers
Karsten Lemmer, B. Scot Ober, Eckehard Schnieder · 2002
In control engineering models of the controlled systems are the basis for controller synthesis as well as for analytical or simulated examination of open or closed-loop behaviour. This model-based methodology is being transferred into automation engineering by means of a development environment for the programming of logical controllers. Petri net models of the controlled system allow an automatic computation of the control algorithm being specified by desired or forbidden states or state sequences. The control algorithms which are equally represented as Petri nets are then automatically translated into a code for programmable logical control. The models of the controlled system and the synthesized control algorithm are used for automatically generating diagnosis data for a model-based PLC diagnosis system.