Centralized and decentralized supervisory control of nondeterministic systems under partial observation

SIAM Journal on Control and Optimization

Volumn 35, Issue 2, 1997, Pages 363-383

  Kumar, Ratnesh ^a   Shayman, Mark A ^b  

^a UNIVERSITY OF KENTUCKY   (United States)

^b UNIVERSITY OF MARYLAND   (United States)

Author keywords

Co observability; Controllability; Discrete event systems; Driven events; Nondeterministic automata; Observability; Partial observation; Prioritized synchronization; Supervisory control; Trajectory models

Indexed keywords

CONTROL THEORY; CONTROLLABILITY; DECENTRALIZED CONTROL; MATHEMATICAL MODELS; OBSERVABILITY; SYNCHRONIZATION;

CENTRALIZED SUPERVISORY CONTROL; COOBSERVABILITY; DECENTRALIZED SUPERVISORY CONTROL; DISCRETE EVENT SYSTEMS; NONDETERMINISTIC SYSTEMS; PARTIAL OBSERVATION; PRIORITIZED SYNCHRONIZATION COMPOSITION; TRAJECTORY MODELS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0031101886     PISSN: 03630129     EISSN: None     Source Type: Journal    
DOI: 10.1137/S0363012994272903     Document Type: Article

References (32)

1. J. C. M. BAETEN, J. A. BERGSTRA, AND J. W. KLOP, Ready-trace semantics for concrete process algebra with the priority operator, Comput. J., 30 (1987), pp. 498-506.
2. J. C. M. BAETEN AND W. P. WEIJLAND, Process Algebra, Cambridge University Press, Cambridge, UK, 1990.
3. S. BALEMI, Input/output discrete event processes and communication delays, Discrete Event Dynamical Systems: Theory and Applications, 4 (1994), pp. 41-85.
4. S. BALEMI, G. J. HOFFMANN, P. GYUGYI, H. WONG-TOI, AND G. F. FRANKLIN, Supervisory control of a rapid thermal multiprocessor, IEEE Trans. Automat. Control, 38 (1993), pp. 1040-1059.
5. E. CHEN AND S. LAFORTUNE, Dealing with blocking in supervisory control of discrete event systems, IEEE Trans. Automat. Control, 36 (1991), pp. 724-735.
6. R. CIESLAK, C. DESCLAUX, A. FAWAZ, AND P. VARAIYA, Supervisory control of discrete event processes with partial observation, IEEE Trans. Automat. Control, 33 (1988), pp. 249-260.
7. C. H. GOLASZEWSKI AND P. J. RAMADGE, Control of discrete event processes with forced events, in Proc. 26th IEEE Conf. Decision and Control, Los Angeles, CA, 1987, pp. 247-251.
8. M. HEYMANN, Concurrency and discrete event control, IEEE Control Systems Magazine, 10 (1990), pp. 103-112.
9. M. HEYMANN AND G. MEYER, Algebra of Discrete Event Processes, Technical report NASA 102848, NASA Ames Research Center, Moffett Field, CA, June 1991.
10. C. A. R. HOARE, Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, NJ, 1985.
11. J. E. HOPCROFT AND J. D. ULLMAN, Introduction to Automata Theory, Languages and Computation, Addison-Wesley, Reading, MA, 1979.
12. K. INAN, An algebraic approach to supervisory control, Math. Control Signals Systems, 5 (1992), pp. 151-164.
13. K. INAN, Nondeterministic supervision under partial observations, in 11th Internat. Conf. on Analysis and Optimization of Systems, Discrete Event Systems, Proc. Conf. Held in Sophia-Antipolis, June 15-17, 1994, Lecture Notes in Control and Inform. Sci. 199, G. Cohen and J.-P. Quadrat, eds., Springer-Verlag, New York, 1994, pp. 39-48.
14. K. INAN AND P. VARAIYA, Finitely recursive process models for discrete event systems, IEEE Trans. Automat. Control, 33 (1988), pp. 626-639.
15. K. INAN AND P. VARAIYA, Algebras of discrete event models, Proc. IEEE, 77 (1989), pp. 24-38.
16. R. KUMAR, V. K. GARG, AND S. I. MARCUS, On controllability and normality of discrete event dynamical systems, Systems Control Lett., 17 (1991), pp. 157-168.
17. R. KUMAR, V. K. GARG, AND S. I. MARCUS, On supervisory control of sequential behaviors, IEEE Trans. Automat. Control, 37 (1992), pp. 1978-1985.
18. R. KUMAR AND M. A. SHAYMAN, Supervisory control of nondeterministic systems under partial observation, in Proc. 1994 IEEE Conf. Decision and Control, Orlando, FL, December 1994, pp. 3649-3654.
19. R. KUMAR AND M. A. SHAYMAN, Non-blocking supervisory control of nondeterministic systems via prioritized synchronization, IEEE Trans. Automat. Control, 41 (1995), pp. 1160-1175.
20. F. LIN AND W. M. WONHAM, Decentralized supervisory control of discrete event systems, Inform. Sci., 44 (1988), pp. 199-224.
21. F. LIN AND W. M. WONHAM, On observability of discrete-event systems, Inform. Sci., 44 (1988), pp. 173-198.
22. F. LIN AND W. M. WONHAM, Decentralized control and coordination of discrete-event systems with partial observation, IEEE Trans. Automat. Control, 35 (1990), pp. 1330-1337.
23. R. MILNER, A Calculus of Communicating Systems, Springer-Verlag, New York, 1980.
24. R. MILNER, Communication and Concurrency, Prentice-Hall, New York, 1989.
25. I. PHILLIPS, Refusal testing, Theoret. Comput. Sci., 50 (1987), pp. 241-284.
26. P. J. RAMADGE AND W. M. WONHAM, Supervisory control of a class of discrete event processes, SIAM J. Control Optim., 25 (1987), pp. 206-230.
27. P. J. RAMADGE AND W. M. WONHAM, The control of discrete event systems, Proc. IEEE: Special Issue on Discrete Event Systems, 77 (1989), pp. 81-98.
28. K. RUDIE AND W. M. WONHAM, The infimal prefix closed and observable superlanguage of a given language, Systems Control Lett., 15 (1990), pp. 361-371.
29. K. RUDIE AND W. M. WONHAM, Think globally, act locally: Decentralized supervisory control, IEEE Trans. Automat. Control, 37 (1992), pp. 1692-1708.
30. M. SHAYMAN AND R. KUMAR, Supervisory control of nondeterministic systems with driven events via prioritized synchronization and trajectory models, SIAM J. Control Optim., 33 (1995), pp. 469-497.
31. R. J. VAN GLABBEEK, Comparative Concurrency Semantics, with Refinement of Actions, Ph D. thesis, Free University of Amsterdam, 1990.
32. Y. WILLNER AND M. HEYMANN, Supervisory control of concurrent discrete-event systems, Internat. J. Control, 54 (1991), pp. 1143-1169.