Title :
Model-based programming and diagnosis for programmable logical controllers
Author :
Lemmer, Karsten ; Ober, Bernhard ; Schnieder, Eckehard
Author_Institution :
Inst. for Control & Autom. Eng., Tech. Univ. Braunschweig, Germany
Abstract :
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
Keywords :
Petri nets; control system synthesis; discrete event systems; fault diagnosis; formal specification; large-scale systems; production control; programmable controllers; programming environments; Petri net models; controller synthesis; model-based PLC diagnosis system; model-based programming; programmable logical controllers; state sequences; Analytical models; Automatic control; Automatic generation control; Automatic programming; Automation; Computational modeling; Control engineering; Control system synthesis; Logic programming; Petri nets;
Conference_Titel :
Systems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century., IEEE International Conference on
Conference_Location :
Vancouver, BC
Print_ISBN :
0-7803-2559-1
DOI :
10.1109/ICSMC.1995.538499
