Supervisory control of real-time discrete-event systems using lattice theory

IEEE Transactions on Automatic Control

Volumn 41, Issue 2, 1996, Pages 199-209

  Cofer, Darren D ^a,b   Garg, Vijay K ^a,c  

^a IEEE

^b HONEYWELL TECHNOLOGY CENTER   (United States)

^c The University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CONTROLLABILITY; MATHEMATICAL MODELS; OPTIMAL CONTROL SYSTEMS; REAL TIME SYSTEMS; SCADA SYSTEMS; SYSTEMS ANALYSIS;

EVENT OCCURRENCE TIMES; LATTICE THEORY; MAX ALGEBRA MODEL; MINIMUM MAXIMUM OCCURRENCE TIMES;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0030086029     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.481519     Document Type: Article

References (19)

1. T. Amon, H. Hulgaard, S. M. Burns, and G. Borriello, "An algorithm for exact bounds on the time separation of events in concurrent systems," in Proc. IEEE Int. Conf. Computer Design, Oct. 1993.
2. F. Baccelli, G. Cohen, G. J. Olsder, and T. P. Quadrat, Synchronization and Linearity: An Algebra for Discrete Event Svstems. New York: Wiley, 1992.
3. B. A. Brandin and W. M. Wonham, "Supervisory control of timed discrete-event systems," IEEE Trans. Automat. Contr., vol. 39, no. 2, pp. 329-342, 1994.
4. R. D. Brandt, V. K. Garg, R. Kumar, F. Lin, S. I. Marcus, and W. M. Wonham, "Formulas for calculating supremal and normal sublanguages," Syst. Contr. Lett., vol. 15, no. 8, pp. 111-117, 1990.
5. D. D. Cofer and V. K. Garg, "A timed model for the control of discrete event systems involving decisions in the max-plus algebra," in Proc. 31st IEEE Conf. Decision Contr., Tuscon, AZ, 1992, pp. 3363-3368.
6. _, "A generalized max-algebra model for timed and untimed DES," in Proc. 1993 Amer. Contr. Conf., San Francisco, CA, pp. 2288-2292.
7. _, "A max-algebra solution to the supervisory control problem for real-time discrete event systems," in Lecture Notes Contr. Inform. Scis. 199: 11th Int. Conf. Anal. Optimization Syst., G. Cohen and J. P. Quadrat, Eds. New York: Springer-Verlag, 1994.
8. G. Cohen, D. Dubois, J. P. Quadrat, and M. Viot, "A linear-system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturing," IEEE Trans. Automat. Contr., vol. AC-30, no. 3, pp. 210-220, Mar. 1985.
9. G. Cohen, P. Moller, J. P. Quadrat, and M. Viot, "Algebraic tools for the performance evaluation of DES," Proc. IEEE, vol. 77, no. 1, pp. 39-58, 1989.
10. R. A. Cuninghame-Green, Minimax Algebra. Berlin: Springer-Verlag, 1979.
11. P. Glasserman and D. D. Yao, Monotone Structure in Discrete-Event Systems. New York: Wiley, 1994.
12. B. H. Krogh, "Controlled Petri nets and maximally permissive feedback logic," in Proc. 25th Allerton Conf. Communic., Contr., Computation, Urbana, IL, 1987.
13. R. Kumar and V. K. Garg, "Extremal solutions of inequations over lattices with applications to supervisory control," in Proc. 33rd IEEE Conf. Decision Contr., Orlando, FL, Dec. 1994, pp. 3636-3641.
14. _, Modeling and Control of Logical Discrete Event Systems. Boston: Kluwer, 1995.
15. K. McMillan and D. L. Dill, "Algorithms for interface timing verification," in 1992 IEEE Int. Conf. Computer Design, Oct. 1992.
16. J. S. Ostroff, "Deciding properties of timed transition models," IEEE Trans. Parallel Distrib. Syst., vol. 1, no. 2, pp. 170-183, 1990.
17. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, 1989.
18. A. Tarski, "A lattice-theoretical fixpoint theorem and its applications," Pacific J. Math., vol. 5, pp. 285-309, 1955.
19. E. Wagneur, "Moduloids and pseudomodules: 1-dimension theory," Discrete Math., vol. 98, pp. 57-73, 1991.