Parameterized supervisor synthesis for a modular class of discrete event systems

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

Volumn 2, Issue , 2003, Pages 1874-1879

  Zouari, B ^a   Barkaoui, K ^b  

^a FACULTÉ DES SCIENCES DE TUNIS   (Tunisia)

^b Bioinformatique et Chimie Moléculaire   (France)

Author keywords

Controlled siphon property; Modular composition; Non blockingness; Parameterized supervisor synthesis; Petri net

Indexed keywords

CONTROL SYSTEM SYNTHESIS; CONTROLLABILITY; MATHEMATICAL MODELS; PETRI NETS; RESOURCE ALLOCATION; SCADA SYSTEMS;

CONTROLLED SIPHON PROPERTY; MODULAR COMPOSITION; NON BLOCKINGNESS; PARAMETERIZED SUPERVISOR SYNTHESIS;

DISCRETE TIME CONTROL SYSTEMS;

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

References (9)

1. K. Barkaoui, A. Chaoui and B. Zouari, "Supervisory Control of Discrete Event Systems based on Structure Theory of Petri Nets", in Proc. of the IEEE International Conference on Systems, Man and Cybernetics, 1997.
2. K. Barkaoui and J.F. Peyre, "On Liveness and Controlled Siphon Property", Proc. of the 17th ICATPN, LNCS no 1091, Springer 1996.
3. J. Ezpeleta, F. García-Vallés and J.M.Colom, "A Class of Well Structured Petri Nets for FMS", Proc. of the 19th ICATPN, LNCS Vol no. 1420, Springer, 1998.
4. M.P. Fanti, B. Maione, S. Mascolo, B. Turchiano, "Event-Based Feed-back Control for Deadlock Avoidance in FMS" IEEE Tran On Robotics and Auto, Vol 13, 1997.
5. A.Giua and F. DiCesare, "Blocking and Controllability of Petri nets in supervisory control", IEEE Trans. on automatic control 3, No 4, pp 818-823, 1994.
6. A. Kusiak, "Intelligent Scheduling of Automated machining Systems" in Intelligent Design and Manufacturing, Ed. Wiley, 1992.
7. P.J. Ramadge and W.M. Wonham, "The Control of discrete event systems", Proceeding of IEEE, Volume. 77, no 1, pp 81-98, 1989.
8. W. Reisig, "Petri Nets, an Introduction". Springer-Verlag, 1985.
9. M.C Zhou and F. DiCesare, "Petri net synthesis for Discrete Event Control of Manufacturing Systems", Kluwer academic Publishers, 1993.