On the execution of sequential function charts

Control Engineering Practice

Volumn 13, Issue 10, 2005, Pages 1283-1293

  Hellgren, Anders ^a   Fabian, Martin ^a   Lennartson, Bengt ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

Discrete event systems; IEC 61131 3; Programmable logic controllers; Sequential function charts

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; PETRI NETS; PROGRAMMABLE LOGIC CONTROLLERS; STANDARDS; SYNCHRONIZATION;

CONTROL PROBLEMS; INTERNATIONAL STANDARDS; SEQUENTIAL FUNCTION CHARTS; SUPERVISORY CONTROL THEORY (SCT);

CONTROL THEORY;

CONTROL SYSTEM;

EID: 20944435743     PISSN: 09670661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.conengprac.2004.11.011     Document Type: Article

References (22)

1. Balemi, S. (1992). Control of discrete event processes: Theory and application. Ph.D. thesis, Swiss Federal Institute of Technology, Zürich, Switzerland.
2. Bauer, N., & Huuck, R. (2002). A parameterized semantics for sequential function charts. In Proceedings of the semantic foundations of engineering design languages 2002, Satellite Event of ETAPS 2002, April 2002.
3. Bauer, N., & Treseler, H. (2001). Vergleich der Semantik der Ablaufsprache nach IEC 61131-3 in unterschiedlicher Programmierwerkzeugen, VDI-Bericht 1608 (pp. 135-142). Dusseldorf: VDI-Verlag.
4. S. Bornot R. Huuck Y. Lakhnech & B. Lukoschus An abstract model for sequential function charts In R. Boel & G. Stremersch (Eds.) Discrete event systems: Analysis and control 2000 Kluwer Academic Publishers Dordrecht
5. R. David Grafcet: A powerful tool for specification of logic controllers IEEE Transactions on Control Systems Technology 3 1995 253-268
6. R. David & H. Alla Petri nets and grafcet: Tools for modelling discrete event systems 1992 Prentice-Hall International Englewood Cliffs, NJ
7. Fabian, M., & Hellgren, A. (1998). PLC-based implementation of supervisory control for discrete event systems. In Proceedings of the CDC'98, Tampa, FL, USA, December 1998.
8. K. Feldmann A.W. Colombo C. Schnur & T. Stöckel Specification, design and implementation of logic controllers based on coloured petri net models and the standard IEC 1131 Part II: Design and implementation IEEE Transactions on Control Systems Technology 7 1999 666-674
9. Hellgren, A. (2002). On the implementation of discrete event supervisory control. Ph.D. thesis, Technical report no. 422, Department of Signals and Systems, Chalmers University of Technology, Göteborg, Sweden.
10. Hellgren, A., Fabian, M., & Lennartson, B. (1999). Synchronised execution of discrete event models using sequential function charts. In Proceedings of the 1999 IEEE conference on decision and control, Phoenix, AZ, USA, December 1999.
11. Hellgren, A., Fabian, M., & Lennartson, B. (2001). Modular implementation of discrete event systems as sequential function charts applied to an assembly cell. In Proceedings of the 2001 IEEE conference on control applications, Mexico City, Mexico, September 2001.
12. ISO/IEC. (2001). International standard IEC 61131-3 (2nd ed.). Programmable logic controllers-Part 3. ISO/IEC (final draft).
13. Jiménez, I., López, E., & Ramírez, A. (2001). Synthesis of ladder diagrams from petri net controller models. In Proceedings of the 2001 IEEE international symposium on intelligent control, Mexico City, Mexico, 2001.
14. S. Lampérière-Couffin J.J. Lesage Formal verification of the sequential part of PLC programs In R. Boel & G. Stremersch (Eds.) Discrete event systems: Analysis and control 2000 Kluwer Academic Publishers Dordrecht
15. Lewis, R. W. (1998). Programming industrial control systems using IEC 1131-3. IEE control engineering series (Vol. 50) (Revised ed.). London, UK: The Institution of Electrical Engineers.
16. L'Her, D., Parc, P., & Marcé, L. (1999). Proving sequential function chart programs using automata. In J.-M. Champarnaud, D. Maurel, D. Ziadi (Eds.), Lecture notes in computer science (Vol. 1660) (pp. 149-163). Berlin: Springer.
17. Lilius, J., & Östergård, P. (1991). On the verification of programmable logic controller programs. In Proceedings of the 12th international conference on application and theory of petri nets (pp. 310-328). Aarhus 1991.
18. M. Öhman S. Johansson & K.E. Årzén Implementation aspects of the PLC standard IEC 1131-3 Control Engineering Practice 6 1998 547-555
19. P.J.G. Ramadge & W.M. Wonham The control of discrete event systems Proceedings of the IEEE 77 1 1989 81-98
20. Richardsson, J., & Fabian, M. (2003). Automatic generation of PLC programs for control of flexible manufacturing cells. In Proceedings of the ninth IEEE international conference on emerging technologies and factory automation, 16-19 September 2003, Lisbon, Portugal.
21. H. Treseler N. Bauer & S. Kowalewski Verification of IL programs with an explicit model of their PLC execution In R. Boel & G. Stremersch (Eds.) Discrete event systems: Analysis and control 2000 Kluwer Academic Publishers Dordrecht
22. Uzam, M., Jones, A. H., & Ajlouni, N. (1996). Conversion of petri net controllers for manufacturing systems into ladder logic diagrams. In Proceedings of the 1996 IEEE conference on emerging technologies and factory automation, Kauai, HI, USA.