The real-time supervisory control of an experimental manufacturing system based on a hybrid method

Control Engineering Practice

Volumn 17, Issue 10, 2009, Pages 1174-1189

  Uzam, Murat ^a   Gelen, Gökhan ^a  

^a NIGDE UNIVERSITY   (Turkey)

Author keywords

Automata; Ladder logic diagram; Petri nets; PLC; Real time implementation; Supervisory control theory

Indexed keywords

AUTOMATA; LADDER LOGIC DIAGRAM; PLC; REAL-TIME IMPLEMENTATION; SUPERVISORY CONTROL THEORY;

AUTOMATA THEORY; CONTROL THEORY; GRAPH THEORY; HYBRID SENSORS; PETRI NETS; REAL TIME CONTROL; SCADA SYSTEMS; SYSTEM THEORY; TRANSLATION (LANGUAGES);

CONTROLLERS;

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

References (23)

1. Cassandras C.G., and Lafortune S. Introduction to discrete event systems (1999), Kluwer Academic Publishers
2. David R., and Alla H. Petri nets and grafcet: Tools for modeling discrete event systems (1992), Prentice-Hall International (UK) Ltd.
3. Fabian, M., & Hellgren, A. (1998). PLC-based implementation of supervisory control for discrete event systems. In Proceedings of the 37th IEEE conference on decision and control (pp. 3305-3310), Tampa, FL, USA.
4. Falkman, P., Lennartson, B., & Tittus, M. (2009). Specification of a batch plant using process algebra and Petri nets. Control Engineering Practice, doi:10.1016/j.conengprac.2009.03.006
5. Guia A. (1996). Petri net techniques for supervisory control of discrete event systems. In Proceedings of the first international workshop on manufacturing and Petri nets (pp. 1-21), Osaka, Japan.
6. Guia, A., & DiCesare, F. (1991). Supervisory design using Petri nets. In Proceedings of the 30th conference on decision and control (pp. 92-97), Brighton, UK.
7. Giua, A., DiCesare, F., & Silva, M. (1992). Generalized mutual exclusion constraints on nets with uncontrollable transitions. In Proceedings of the IEEE international conference on system man and cybernetics (pp. 974-979), Chicago, IL, USA.
8. Jones, A.H., Uzam, M., Khan, A.H., Karimzadgan, D., & Kenway S.B. (1996). A general methodology for converting Petri nets into ladder logic: The TPLL methodology. In Proceedings of the Rensselaer's first international conference on computer integrated manufacturing and automation technology-CIMAT'96 (pp. 357-362), France, May 29-31.
9. Millan J.P., and O'Young S.D. Online discrete event supervisory control of hybrid dynamical systems using embedded simulation. Control Engineering Practice 16 8 (2008) 1004-1021
10. Morel G., Valckenaers P., Faure J.-M., Pereira C.E., and Diedrich C. Manufacturing plant control challenges and issues. Control Engineering Practice 15 11 (2007) 1321-1331
11. Peng S., and Zhou M.C. Ladder diagram and Petri net based discrete-event control design methods. IEEE Transactions on Systems, Man and Cybernetics Part C-Applications and Reviews 34 4 (2004) 523-531
12. Petri, C. A. (1962). Kommunikation mit automaten schriften des rheinisch. Westfalischen Inst. fur Intrumentelle Mathematik and der Universitat Bonn. Translation by C. F. Green, Applied Data Research Inc., Suppl 1 to Tech report RADC-TR-65-337, NY.
13. Ramadge P.J., and Wonham W.M. Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization 25 1 (1987) 206-230
14. Ramadge P.J., and Wonham W.M. The control of discrete event systems. Proceedings of the IEEE 77 1 (1989) 81-98
15. TCT. (2008). A software tool supporting supervisory control theory. Systems Control Group, ECE Department, University of Toronto, Posted at URL: 〈www.control.utoronto.ca/DES〉.
16. Uzam, M. (1998). Petri-net-based supervisory control of discrete event systems and their ladder logic diagram implementations. Ph.D. Thesis, University of Salford, Salford, UK. Posted at URL: 〈http://host.nigde.edu.tr/muzam/〉.
17. Uzam, M., & Jones, A.H. (1996). Design of a discrete event control system for a manufacturing system using token passing ladder logic. In Proceedings of CESA'96 IMACS multiconference, symposium on discrete events and manufacturing systems (pp. 513-518), Lille, France, July 9-12.
18. Uzam M., and Jones A.H. Discrete event control system design using automation Petri nets and their ladder diagram implementation. The International Journal of Advanced Manufacturing Technology 14 10 (1998) 716-728
19. Uzam M., Jones A.H., and Yücel I. A rule based methodology for supervisory control of discrete event systems modelled as automation Petri nets. International Journal of Intelligent Control and Systems 3 3 (1999) 297-326
20. Uzam M., Jones A.H., and Yücel I. Using a Petri-net-based approach for the real-time control of an experimental manufacturing system. The International Journal of Advanced Manufacturing Technology 16 7 (2000) 498-515
21. Uzam M., and Wonham W.M. A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets. The International Journal of Advanced Manufacturing Technology 28 7-8 (2006) 747-760
22. Wonham, W.M. (2008). Supervisory control of discrete event systems. ECE Department, Universty of Toronto, 1997-2008, 〈http://www.control.utoronto.ca/DES/Updated2008.07.01〉.
23. Wonham W.M., and Ramadge P.J. On the supremal controllable sublanguage of a given language. SIAM Journal on Control and Optimization 25 3 (1987) 637-659