Modular implementation of robust supervisory controllers for discrete event systems

IEEE Transactions on Automatic Control

Volumn 53, Issue 6, 2008, Pages 1559-1563

  Economakos, Christoforos ^a   Koumboulis, Fotis N ^a  

^a HALKIS INSTITUTE OF TECHNOLOGY   (Greece)

Author keywords

Discrete event systems; Robust control

Indexed keywords

CONTROL THEORY; ROBUST CONTROL; SET THEORY;

DISCRETE EVENT SYSTEMS; SUPERVISORY CONTROLLERS;

SCADA SYSTEMS;

EID: 51449113901     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2008.928308     Document Type: Article

References (20)

1. C. E. Economakos, F. N. Koumboulis, and M. P. Tzamtzi, "Recursive synthesis of robust supervisory controllers for vector discrete event systems," in Proc. 32nd Annu. Conf. IEEE Industrial Electronics Society IECON, 06, Paris, France, 2006, pp. 4731-4736.
2. C. E. Economakos, F. N. Koumboulis, and M. P. Tzamtzi, "Robust dynamic control of vector discrete event systems," in Proc. European Control Conf. ECC '07, Kos, Greece, 2007, pp. 5508-5515.
3. C. Ozveren and A. Willsky, "Output stabilizability of discrete-event dynamic systems," IEEE Trans. Autom. Control, vol. 36, no. 8, pp. 925-935, Aug. 1991.
4. C. Ozveren, A. Willsky, and P. Antsaklis, "Stability and stabilizability of discrete-event dynamic systems," J. ACM, vol. 38, no. 3, pp. 730-752, 1991.
5. M. A. Lawley and W. Sulistyono, "Robust supervisory control policies for manufacturing systems with unreliable resources," IEEE Trans. Robot. Autom., vol. 18, no. 3, pp. 346-359, Jun. 2002.
6. C. Abdelwahed, G. Karsai, and G. Biswas, "Robust state-based supervisory control of discrete event systems," in Proc. 2005 IEEE Conf. on Control Applications, Toronto, ON, Canada, Aug. 28-31, 2005, pp. 922-927.
7. S. J. Park and J. T. Lim, "Robust nonblocking supervisor for discrete event systems with model uncertainty under partial observation," IEEE Trans. Autom. Control, vol. 45, no. 12, pp. 2393-2396, Dec. 2000.
8. J. Cury and B. Krogh, "Design of robust supervisors for discrete event systems with infinite behaviors," in Proc. 35th IEEE Conf. Decision and Control, 1996, pp. 2219-2224.
9. J. Cury and B. Krogh, "Robustness of supervisors for discrete event systems," IEEE Trans. Autom. Control, vol. 44, no. 2, pp. 376-379, Feb. 1999.
10. S. Takai, "Synthesis of maximally permissive and robust supervisors for prefix-closed language specifications," IEEE Trans. Autom. Control vol. 47, no. 1, pp. 132-136, Jan. 2002.
11. S. Takai, "Maximizing robustness of supervisors for partially observed discrete event systems," Automatica, vol. 40, no. 3, pp. 531-535, 2004.
12. F. Lin, "Robust and adaptive supervisory control of discrete event systems," IEEE Trans. Autom. Control, vol. 38, no. 12, pp. 1848-1852, Dec. 1993.
13. S. Takai, "Maximally permissive robust supervisors for a class of specification languages," in Proc. IFAC Conf. System Structure and Control, 1998, vol. 2, pp. 429-434.
14. S. Takai, "Robust supervisory control of a class of timed discrete event systems under partial observation," Syst. and Control Lett. vol. 39, no. 4, pp. 267-273, 2000.
15. S. Bourdon, M. Lawford, and M. Wonham, "Robust nonblocking supervisory control of discrete event systems," IEEE Trans. Autom. Control, vol. 50, no. 12, pp. 2015-2021, Dec. 2005.
16. A. Saboori and S. H. Zad, "Robust nonblocking supervisory control of discrete event systems under partial observation," Syst. Control Lett., vol. 55, pp. 839-848, 2006.
17. S. J. Park and J. T. Lim, "Robust and nonblocking supervisory control of nondeterministic discrete event systems using trajectory models," IEEE Trans. Autom. Control, vol. 47, no. 4, pp. 655-658, Apr. 2002.
18. F. N. Koumboulis and M. G. Skarpetis, "Robust triangular decoupling with application to 4WS cars," IEEE Trans. Autom. Control, vol. 45, no. 2, pp. 344-352, Feb. 2000.
19. R. Kumar and V. K. Garg, "Extremal solutions of inequations over lattices with applications to supervisory control," Theoret. Comput. Sci., vol. 148, pp. 67-92, 1995.
20. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Norwell, MA: Kluwer, 1999.