A Petri net based supervisory control implementation

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 2, Issue , 2003, Pages 1039-1044

  Flochová, Jana ^a  

^a SLOVAK UNIVERSITY OF TECHNOLOGY   (Slovakia)

Author keywords

Discrete event systems; IEC 61131 6; Petri nets; PLC; Supervisory control

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SIMULATION; CONTROL SYSTEM SYNTHESIS; CONTROLLABILITY; DISCRETE TIME CONTROL SYSTEMS; FEEDBACK CONTROL; MATHEMATICAL MODELS; OBSERVABILITY; PETRI NETS; PROGRAMMABLE LOGIC CONTROLLERS;

DISCRETE EVENT SYSTEMS; FEEDBACK CONTROLLERS;

SCADA SYSTEMS;

EID: 0242660456     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. Boel, R.K., Ben-Naoum, L., Van Breusegem, V., On Forbidden State Problem for a Class of Controlled Petri Nets. IEEE Trans. on Automatic Control, vol. 40, no. 10, pp. 1717-1731, 1995.
2. R.K. Boel and G. Stremersch, "Forbidden state control synthesis for timed Petri net models". Open Problems in Mathematical Systems and Control Theory. (V.D. Blondel, E.D. Sontag, M. Vidyasagar, J.C. Willems (Ed.)), Springer-Verlag, London pp. 61-66, ISBN: 1-85233-044-9 1998
3. Boel, R.K. and F. Montoya, "Modular Synthesis of efficient schedules in a timed discrete event plant". Proceedings of the 39th Conference on Decision and Control, Sydney, Australia, pp. 16-21, 2000.
4. Češka, M., Petriho sítě. Akademické nakladatelství CERM, Brno 94 1994 ISBN 80-85867-35-4
5. Flochová, J., and B. Hrúz, "Supervisory control for discrete event dynamic systems based on Petri nets." Proceeding of International conference on Process control, Horní Bečva, 2, 80-83, 1996.
6. Flochová, J., Hrúz, B., Jirsák, P., "Program solution of supervisory control based on Petri nets", Preprints of 2nd IFAC Workshop on New Trends in Design of Control Systems, Slovak republic, Smolenice, 1997, pp. 278-282, 97.
7. Flochová, J., Jirsák, R., Boel, R.K. "A Matlab based supervisory controller for discrete event systems", Proceeding of IFAC conference Programmable devices and systems, Gliwice, Poland, pp. 183-189, 2001.
8. Guia, A., and F. DiCesare, "Blocking and controllability of Petri Nets in supervisory control", IEEE Trans. on Automatic Control, vol. 39, pp 818-823, 1994.
9. Hanzálek, Z., "Laboratory for Distributed Real-Time Control". Real-Time Systems Education. Los Alamitos, IEEE Computer Society Press, 1996, vol. 1, p. 150-156, ISBN 0-8186-7649-3.
10. Holloway, L.E., and B.H. Krogh, "Synthesis of Feedback Control Logic for a Class of Controlled Petri Nets", IEEE Trans. on Automatic Control, vol. 35, pp. 514-523, 1990.
11. Hrúz, B., "The supervisory control problem solved via Petri nets", Preprints of the IFAC Workshop on New Trends in Design of control systems", Smolenice, Slovak republic, 386-391, September 1994
12. Lafortune, S., http://www.eecs.umich.edu/~stephane/. Publications, 2000.
13. Li Y., and W.M. Wonham, "Control of Vector Discrete-Event Systems I, II", IEEE Transaction on Automatic Control, vol. 38, pp. 1214-1227, vol. 39, pp. 512-531.
14. Lin, F., and W.M. Wonham, "Decentralized supervisory control of DES", Information Science, vol. 44, pp. 199-224, 1998.
15. Moody, J.O., and P.J. Antsaklis, "Petri net supervisors for DES with Uncontrollable and Unobservable Transitions", IEEE Transaction on Automatic Control, vol. 45, Nr.3, pp. 462-476, 2000.
16. Rudie, K., and W.M. Wonham, "Think globally, act locally: Decentralized Supervisory Control", IEEE Transaction on Automatic Control, vol. 37, pp. 1692-1708, 1992.
17. Ramadge, P., and W.M. Wonham, "Supervisory control of a class of discrete event processes", SIAM J. Control and optimatization, vol. 25, pp. 206-230, 1997.
18. Ramadge, P.J., and W.M Wonham, "The Control of Discrete Event Systems", Proceeding of the IEEE, vol. 77, no. 1, pp. 81-98, 1998.
19. Screenivas, R.S., "On the Existence of Supervisory Policies that Enforce Liveness in Discrete-Event Dynamic Systems Modeled by Controlled Petri Nets", IEEE Transaction on Automatic Control. vol. 42, no. 7, s. 928-945, 1997.
20. Stremersch, G., and R.K. Boel, "Enforcing k-safeness in controlled state machines", Proceeding of 38th IEEE Conference on Decision and Control, 1999, pp. 1737-1742, 1999.
21. Stremersch, G., and R.K. Boel, "Decomposition of supervisory control problem for Petri nets", IEEE Transaction on Automatic Control, vol. 46, 1490-1496, 2001.
22. Wang, J., Deng, Y., Xu, G., "Reachability analysis of real time systems using time Petri nets", IEEE Trans. on Systems, Man and Cybernetics-Part B, vol. 30, pp. 725-735, 2000.
23. Wong, K. C., and Van Schuppen, J, "Decentralized Supervisory Control of DES with Communication:, Preprints of WODES'1996, London, pp. 284-289, 1996.
24. Yamalidou, K., Moody, J., Lemmon, M., Antsaklis, P., "Feedback Control of Petri Nets Based on Place Invariants". Automatica. vol. 32, no. 1, pp. 15-28, 1996.
25. Zhou, M. Ch., DiCesare, F., Rudolph, D.L., "Design and Implementation of a Petri Net Based Supervisor for a Flexible Manufacturing System", Automatica, vol. 28, pp. 1199-1208, 1992.