Extension based limited lookahead supervision of discrete event systems

Automatica

Volumn 34, Issue 11, 1998, Pages 1327-1344

  Kumar, Ratnesh ^a   Cheung, Hok M ^a   Marcus, Steven I ^b  

^a UNIVERSITY OF KENTUCKY   (United States)

^b UNIVERSITY OF MARYLAND   (United States)

Author keywords

Controllability; on line control computation; Discrete event systems; Limited lookahead; Supervisory control

Indexed keywords

CONTROL SYSTEM ANALYSIS; CONTROLLABILITY; SUPERVISORY AND EXECUTIVE PROGRAMS;

DISCRETE EVENT SYSTEMS; LIMITED LOOKAHEAD;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0032206254     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0005-1098(98)00077-6     Document Type: Article

References (27)

1. Banaszak, Z. and B. H. Krogh (1990). Deadlock avoidance in flexible manufacturing sytems with concurrently competing process flows. IEEE Trans. Robotics Automat., 6 (6), 724-734.
2. Bernstein, P., V. Hadzilacos and N. Goodman (1987). Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading, MA.
3. Brandt, R. D., V. K. Garg, R. Kumar, F. Lin, S. I. Marcus and W. M. Wonham (1990). Formulas for calculating supremal controllable and normal sublanguages. Systems Control Lett., 15(8), 111-117.
4. Chen, E. and S. Lafortune (1991). Dealing with blocking in supervisory control of discrete event systems. IEEE Trans. Automat. Control, 36(6), 724-735.
5. Chung, S. L., S. Lafortune and F. Lin (1992a). Limited lookahead policies in supervisory control of discrete event systems. IEEE Trans. Automat. Control, 37(12), 1921-1935.
6. Chung, S. L., S. Lafortune and F. Lin (1992b). Addendum to "limited lookahead policies in supervisory control of discrete event systems": proofs of technical results. Technical Report CGR-92-6, University of Michigan, Ann Arbor, Michigan.
7. Chung, S. L., S. Lafortune and F. Lin (1993). Recursive computation of limited lookahead supervisory controls for discrete event systems. Discrete Event Dyn. Systems: Theory Appl., 3(1), 71-100.
8. Chung, S. L., S. Lafortune and F. Lin (1994). Supervisory control using variable lookahead policies. Discrete Event Dyn. Systems: Theory Appl., 4(3), 237-268.
9. Ghosh, A. (1995). Modeling and analysis of real-time database systems in the framework of discrete event systems. Technical Report MS 95-6, Institute of Systems Research, University of Maryland.
10. Hadj-Alouane, N. B., S. Lafortune and F. Lin (1994). Variable lookahead supervisory control with state information. IEEE Trans. Automat. Control, 39(12), 2398-2410.
11. Hadj-Alouane, N. B., S. Lafortune and F. Lin (1996). Centralized and distributed algorithm for on-line synthesis of maximal control policies under partial observation. Discrete Event Dyn. Systems: Theory Appl., 6(41), 379-427.
12. Heymann, M. and F. Lin (1994). On-line control of partially observed discrete event systems. Discrete Event Dyn. Systems: Theory Appl., 4(3), 221-236.
13. Kozak, P. and W. M. Wonham (1996). Synthesis of database management protocols. IEEE Trans. Automat. Control, 41(9), 1330-1335.
14. Krogh, B. H., and D. Feng (1989). Dynamic generation of subgoals for autonomous mobile robots using local feedback information. IEEE Trans. Automat. Control, 34(5), 483-493.
15. Kumar, R. (1993). Formulas for observability of discrete event dynamical systems. Proc. 1993 Conf. on Information Sciences and Systems, Johns Hopkins University, Baltimore, MD, pp. 581-586.
16. Kumar, R. and V. K. Garg (1995). Extremal solutions of inequations over lattices with applications to supervisory control. Theoret. Comput. Sci., 148, 67-92.
17. Kumar, R. and V. K. Garg (1995). Modeling and Control of Logical Discrete Event Systems. Kluwer Academic Publishers, Boston, MA.
18. Kumar, R., V. K. Garg and S. I. Marcus (1991). On controllability and normality of discrete event dynamical systems. Systems Control Lett., 17(3), 157-168.
19. Lafortune, S. (1988). Modeling and analysis of transaction execution in database systems. IEEE Trans. Automat. Control, 33(5), 439-447.
20. Lin, F. and W. M. Wonham (1988). On observability of discrete-event systems. Inform. Sci., 44(3), 173-198.
21. Liu, P. (1990). Goal-oriented behavior in autonomous systems. Proc. 2nd Int. IEEE Conf. on Tools for Artificial Intelligence, Herndon, VA, pp. 2-8.
22. Papadimitriou, K. M. (1986). The Theory of Database Concurrency Control. Computer Science Press, Rockville, MD.
23. Passino, K. M. and P. J. Antsaklis (1989). A system and control theoretic perspective on artificial intelligence planning systems. Int. J. App. Artificial Intell., 3, 1-32.
24. Pemberton, J. C. and R. E. Korf (1992). Incremental path planning on graphs with cycles. Proc. 1st Int. Con. on Artificial Intelligence Planning Systems, College Park, MD, pp. 179-188.
25. Ramadge, P. J. and W. M. Wonham (1987). Supervisory control of a class of discrete event processes. SIAM J. Control Optim., 25(1), 206-230.
26. Ramadge, P. J. and W. M. Wonham (1989). The control of discrete event systems. Proc. IEEE, (Special Issue on Discrete Event Systems), 77, 81-98.
27. Viswanadham, N., Y. Narahari and T. L. Johnson (1990). Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Trans. Robotics Automat., 6(6), 713-723.