Masked prioritized synchronization for interaction and control of discrete event systems

IEEE Transactions on Automatic Control

Volumn 45, Issue 11, 2000, Pages 1970-1982

  Kumar, Ratnesh ^a   Heymann, Michael ^b  

^a UNIVERSITY OF KENTUCKY   (United States)

^b TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; CONTROL SYSTEM ANALYSIS; CONTROL SYSTEM SYNTHESIS; CONTROLLABILITY; DISCRETE TIME CONTROL SYSTEMS; OBSERVABILITY; SCADA SYSTEMS;

BROADCAST SYNCHRONIZATION; EVENT CONTROL FUNCTION; MASKED PRIORITIZED SYNCHRONOUS COMPOSITION; SYSTEM INTERACTION;

SYNCHRONIZATION;

EID: 0034315214     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.887621     Document Type: Article

References (19)

1. S. Balemi, "Input/output discrete event processes and communication delays," Discrete Event Dynam. Syst., pp. 41-85, 1994.
2. R. Cieslak, C. Desclaux, A. Fawaz, and P. Varaiya, "Supervisory control of discrete event processes with partial observation," IEEE Trans. Automat. Contr., vol. 33, no. 3, pp. 249-260, 1988.
3. M. Fabian, "On object oriented nondeterministic supervisory control," Ph.D. dissertation, Control Engineering Laboratory, Chalmers Univ., Goteberg, 1995.
4. M. Heymann, "Concurrency and discrete event control," IEEE Contr. Syst. Mag., vol. 10, no. 4, pp. 103-112, 1990.
5. M. Heymann and G. Meyer, "Algebra of discrete event processes," NASA Ames Research Center, Moffett Field, CA, Tech. Rep. NASA 102848, June 1991.
6. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages and Computation. Reading, MA: Addison-Wesley, 1979.
7. K. Inan, "An algebraic approach to supervisory control," Math. Contr., Signals Syst., vol. 5, pp. 151-164, 1992.
8. S. Jiang and R. Kumar, "Supervisory control of nondeterministic discrete event systems with driven events via masked prioritized synchronization," in Proc. 1999 IEEE Conf. Decision and Control, Pheonix, AZ, Dec. 1999.
9. R. Kumar and V. K. Garg, Modeling and Control of Logical Discrete Event Systems. Boston, MA: Kluwer Academic, 1995.
10. R. Kumar and M. A. Shayman, "Non-blocking supervisory control of nondeterministic systems via prioritized synchronization," IEEE Trans. Automat. Contr., vol. 41, pp. 1160-1175, Aug. 1996.
11. _, "Supervisory control of real-time systems using prioritized synchronization," in Hybrid Systems III. New York: Springer-Verlag, 1996, vol. 1066.
12. "Centralized and decentralized supervisory control of nondeterministic systems under partial observation," SIAM J. Contr. Optim., vol. 35, no. 2, pp. 363-383, March 1997.
13. F. Lin and W. M. Wonham, "On observability of discrete-event systems," Inform. Sci., vol. 44, no. 3, pp. 173-198, 1988.
14. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Contr. Optim., vol. 25, no. 1, pp. 206-230, 1987.
15. M. Shayman and R. Kumar, "Supervisory control of nondeterministic systems with driven events via prioritized synchronization and trajectory models," SIAM J. Contr. Optim., vol. 33, no. 2, pp. 469-497, Mar. 1995.
16. "A new framework for supervisory control," in Proc. 1995 Amer. Control Conf., Seattle, WA, June 1995, pp. 1341-1345.
17. "Process objects/masked composition: An object oriented approach for modeling and control of discrete event systems," IEEE Trans. Automat. Contr., vol. 44, no. 10, pp. 1864-1869, 1999.
18. K. C. Wong and W. M. Wonham, "Hierarchical control of discrete event systems," Discrete Event Dynam. Syst., vol. 6, pp. 241-273, 1996.
19. H. Zhong and W. M. Wonham, "On the consistency of hierarchical supervision in discrete-event systems," IEEE Trans. Automat. Contr., vol. 35, pp. 1125-1134, Oct. 1990.