MODEL BASED PROGRAMMABLE CONTROL LOGIC DESIGN

Abstract The paper presents a methodology of designing control logic that is implemented by industrial programmable logic controllers. The approach is based on discrete-event model of a plant to be controlled and a set of interlock and sequential specification models. Supervisory control theory is used to test the controllability of the specifications and in the final stage, to derive a model of the admissible behaviour of the system which serves as a specification for the sequential part of the controller. A laboratory scale modular assembly line case study is presented to illustrate the practical issues of the approach.

[1]  P. Ramadge,et al.  On the supremal controllable sublanguage of a given language , 1984, The 23rd IEEE Conference on Decision and Control.

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

[3]  P. Ramadge,et al.  Modular Supervisory Control of Discrete Event Systems , 1988 .

[4]  D. Matko,et al.  Petri net based control of a modular production system , 1999, ISIE '99. Proceedings of the IEEE International Symposium on Industrial Electronics (Cat. No.99TH8465).

[5]  Ratnesh Kumar,et al.  Automated control synthesis for an assembly line using discrete event system control theory , 2003, IEEE Trans. Syst. Man Cybern. Part C.

[6]  Drago Matko,et al.  Discrete event control theory applied to PLC programming , 2002 .

[7]  Vijay K. Garg,et al.  Modeling and Control of Logical Discrete Event Systems , 1994 .

[8]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[9]  P. Ramadge,et al.  On the supermal controllable sublanguage of a given language , 1987 .