On Closed-Loop Liveness of Discrete-Event Systems Under Maximally Permissive Control

IEEE Transactions on Automatic Control

Volumn 37, Issue 5, 1992, Pages 692-697

  Holloway, Lawrence E ^a   Krogh, Bruce H ^b  

^a UNIVERSITY OF KENTUCKY   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL TECHNIQUES - PETRI NETS; VEHICLES - NAVIGATION SYSTEMS;

AUTOMATED GUIDANCE VEHICLES; CLOSED-LOOP LIVENESS; CONTROLLED MARKED GRAPHS; DISCRETE-EVENT SYSTEMS; FORBIDDEN STATES; MAXIMALLY PERMISSIVE CONTROL;

CONTROL SYSTEMS, DISCRETE TIME;

EID: 0026856255     PISSN: 00189286     EISSN: 15582523     Source Type: Journal    
DOI: 10.1109/9.135519     Document Type: Article

References (15)

1. P. J. Ramadge and W. M. Wonham, “Supervisory control of a class of discrete-event processes,” SIAM Contr. Optimiz., vol. 25, Jan. 1987.
2. P. J. Ramadge and W. M. Wonham, “Modular feedback logic for discrete-event systems,” SIAM J. Contr. Optimiz., vol. 25, Sept. 1987.
3. Cieslak et al. “Supervisory control of discrete-event processes with partial observations,” IEEE Trans. Automat. Contr., vol. 33, Mar. 1988.
4. P. J. G. Ramadge, “Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata,” IEEE Trans. Automat. Contr., vol. 34, pp. 10–19, Jan. 1989.
5. L. E. Holloway and B. H. Krogh, “Synthesis of feedback control logic for a class of controlled Petri nets,” IEEE Trans. Automat. Contr., vol. 35, pp. 514–523, May 1990.
6. J. G. Thistle and W. M. Wonham, “On the synthesis of supervisors subject to co-language specifications” in Proc. 22nd Annu. Conf. Inform. Sci. Syst., Princeton, NJ, Mar. 1988, pp. 440–444.
7. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
8. W. Reisig, Petri Nets (Monographs on Theoretical Computer Science). New York: Springer-Verlag, 1982.
9. T. Murata, “Petri nets: Properties, analysis and applications,” Proc. IEEE, vol. 77, pp. 541–580, Apr. 1989.
10. T. Murata, V. B. Le, and D. J. Leu, “A method for realizing the synchronic distance matrix as a marked graph,” Proc. 1982 IEEE Int. Symp. Circuits Syst., Rome, Italy, May 1982, pp. 609–612.
11. B. H. Krogh, “Controlled petri nets and maximally permissive feedback logic, in Proc. 25th Annu. Allerton Conf., Univ. Illinois, Urbana, Sept. 1987.
12. B. H. Krogh and L. E. Holloway, “Synthesis of feedback control logic for discrete manufacturing systems,” Automatica, July 1991.
13. Y. Li and W. M. Wonham, “Strict concurrency and nondeterministic control of discrete-event systems,” in Proc. IEEE Conf. Decision Contr., Tampa, FL, Dec. 1989, pp. 2731–2736.
14. L. E. Holloway, “Feedback control synthesis for a class of discrete event systems using distributed state models,” Lab. Automat. Syst. Inform. Processing, Dep. Elec. Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, Tech. Rep. LASIP-88-17, Sept. 1988.
15. L. E. Holloway and B. H. Krogh, “On closed-loop liveness of discrete event systems under maximally permissive control,” in Proc. 28th IEEE Conf. Decision Contr., Tampa, FL, Dec. 1989.