Observability of Discrete Event Dynamic Systems

IEEE Transactions on Automatic Control

Volumn 35, Issue 7, 1990, Pages 797-806

  Özveren, Cüneyt M ^a   Willsky, Alan S ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY--FINITE AUTOMATA;

DISCRETE EVENT DYNAMIC SYSTEMS; POLYNOMIAL OBSERVABILITY TEST; RESILIENT OBSERVABILITY;

CONTROL SYSTEMS;

EID: 0025461005     PISSN: 00189286     EISSN: 15582523     Source Type: Journal    
DOI: 10.1109/9.57018     Document Type: Article

References (20)

1. R. Cieslak, C. Desclaux, A. Fawaz, and P. Varaiya, “Supervisory control of discrete-event processes with partial observations,” IEEE Trans. Automat. Contr., Mar. 1988.
2. G. A. Frank, D. L. Franke, and W. F. Ingogly, “An architecture design and assessment system,” VLSI Design, Aug. 1985.
3. W. B. Gevarter, “Expert systems: Limited but powerful,” IEEE Spectrum, Aug. 1983.
4. W. M. L. Holcombe, Algebraic Automata Theory. London, England: Cambridge University Press, 1982.
5. F. Lin and W. M. Wonham, “Decentralized supervisory control of discrete event systems,” Syst. Contr. Group Rep. 8612, Univ. Toronto, July 1986.
6. F. Lin and W. M. Wonham, “On observability of discrete event systems,” Inform. Sci., vol. 44, no. 3, 1988.
7. M. E. Merchant, “Production: A dynamic challenge,” IEEE Spectrum, May 1983.
8. J. S. Ostroff and W. M. Wonham, “A temporal logic approach to real time control,” in Proc. CDC, Dec. 1985.
9. C. M. Özveren, “Analysis and control of discrete event dynamic systems: A state space approach,” Ph.D. dissertation, M.I.T., Cambridge, MA, Aug. 1989; and Lab. Inform. Decision Syst. Rep. LIDS-TH-1907.
10. C. M. Özveren and A. S. Willsky, “Aggregation and Multilevel control in discrete event dynamic systems,” Lab. Inform. Decision Syst. Rep. LIDS-P-1902, M.I.T., Cambridge, MA, Aug. 1989; also submitted to Automatica.
11. C. M. Özveren and A. S. Willsky, “Invertibility of discrete event dynamic systems,” Lab. Inform. Decision Syst. Rep LIDS-P-1895, M.I.T., Cambridge, MA, July 1989; also submitted to MCSS.
12. C. M. Özveren, A. S. Willsky, and P. J. Antsaklis, “Stability and stabilizability of discrete event dynamic systems,” Lab. Inform. Decision Syst. Rep. LIDS-P-1853, M.I.T., Cambridge, MA, Feb. 1989; also submitted to J. ACM.
13. P. J. Ramadge, “Observability of discrete event systems,” in Proc. CDC, Dec. 1986
14. P. J. Ramadge and W. M. Wonham, “Modular feedback logic for discrete event systems,” SIAM J. Contr. Opt., Sept. 1987.
15. P. J. Ramadge and W. M. Wonham, “Supervisory control of a class of discrete event processes” SIAM J. Contr. Opt., Jan. 1987.
16. M. N. S. Swamy and K. Thulasiraman, Graphs, Networks, and Algorithms. New York: Wiley, 1981.
17. G. Tadmor and O. Z. Maimon, “Control of large discrete event systems: Constructive algorithms,” LIDS Publ. LIDS-P-1627 M I T Dec. 1986.
18. L. Tobias and J. L. Scoggins, “Time-based air-traffic management using expert systems,” IEEE Contr. Syst. Mag., Apr. 1987.
19. J. N. Tsitsiklis, “On the control of discrete event dynamical systems,” Math. C. S. S., 1989.
20. A. F. Vaz and W. M. Wonham, “On supervisor reduction in discrete event systems,” Int. J. Contr., 1986.