IEC 61131-3 compliant control code generation from discrete event models

Proceedings of the 20th IEEE International Symposium on Intelligent Control, ISIC '05 and the 13th Mediterranean Conference on Control and Automation, MED '05

Volumn 2005, Issue , 2005, Pages 346-351

  Mušič, Gašper ^a   Gradišar, Dejan ^a   Matko, Drago ^a  

^a UNIVERSITY OF LJUBLJANA   (Slovenia)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; DISCRETE TIME CONTROL SYSTEMS; FINITE AUTOMATA; FORMAL LOGIC; PETRI NETS; PROGRAMMABLE LOGIC CONTROLLERS; SCADA SYSTEMS;

CODE GENERATION; CONTROL LOGIC; DISCRETE EVENT MODELS;

CONTROL SYSTEM ANALYSIS;

EID: 33745188069     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/.2005.1467039     Document Type: Conference Paper

References (13)

1. C.G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, Kluwer Academic Publishers, Dordrecht, 1999.
2. V. Chandra, S.R. Mohanty and R. Kumar, "Automated control synthesis for an assembly line using discrete event system control theory", in Proceedings of the American Control Conference, Arlington VA, 2001, pp. 4956-4961.
3. R. David, Grafcet: A Powerful Tool for Specification of Logic Controllers, IEEE Trans. on Control Systems Technology, vol. 3, no. 3, 1995, pp. 253-268.
4. M. Fabian and A. Hellgren, "PLC-based Implementation of Supervisory Control for Discrete Event Systems", in Proceedings of CDC'98, Tampa, Florida, USA, 1998, pp. 3305-3310.
5. L.E. Holloway, B.H. Krogh, A. Giua, A Survey of Petri Net Methods for Controlled Discrete Event Systems, Discrete Event Dynamics Systems: Theory and Applications, vol. 7, 1997, pp. 151-190.
6. IEC, Programmable Controllers - Part 3: Programming Languages. International Electrotechnical Commission, publication 61131.3. Geneva, 1993.
7. T. Murata, Petri nets: Properties, analysis and applications. Proc. IEEE, vol. 77, 1989, pp. 541-580.
8. G. Mušič, B. Zupančič and D. Matko, "Model based programmable control logic design", in Preprints of the 15th Triennial IFAC World Congress. Barcelona, Spain, 2002.
9. G. Mušič and D. Matko, "Petri net control of systems under discrete-event supervision", in ECC'03 European Control Conference. Cambridge, UK, 2003.
10. G. Mušič and D. Matko, "Combined synthesis/verification approach to programmable logic control of a production line", in IFAC World Congress 2005, to appear.
11. S.S. Peng and M.C. Zhou, Ladder Diagram and Petri-Net-Based Discrete-Event Control Design Methods, IEEE Trans. on Systems, Man, and Cybernetics - Part C, vol. 34, 2004, pp. 523-531.
12. W.M. Wonham, Notes on Control of Discrete Event Systems: ECE 1636F/1637S 2003-2004. Systems Control Group, Dept. of ECE, University of Toronto, 2003.
13. M. Zhou and E. Twiss, Design of industrial automated systems via relay ladder logic programming and petri nets, IEEE Trans. on Systems, Man, and Cybernetics - Part C, vol. 28, 1998, pp. 137-150.