On computation of state avoidance control for infinite state systems in assignment program framework

IEEE Transactions on Automation Science and Engineering

Volumn 2, Issue 1, 2005, Pages 87-91

  Kumar, Ratnesh ^a   Garg, Vijay K ^b  

^a Iowa State University   (United States)

^b The University of Texas at Austin   (United States)

Author keywords

Assignment programs; Discrete event systems; Petri nets; State avoidance; Supervisory control

Indexed keywords

COMPUTATIONAL METHODS; CONTROL EQUIPMENT; FORMAL LANGUAGES; PETRI NETS; STATE SPACE METHODS; VECTORS;

ASSIGNMENT PROGRAMS; DISCRETE EVENT SYSTEMS; INFINITE STATE SYSTEMS; STATE AVOIDANCE;

SCADA SYSTEMS;

EID: 12844271562     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2004.829432     Document Type: Article

References (18)

1. R. K. Boel, L. Ben-Naoum, and V. Van Breusegem, "On forbidden state problems for a class of controlled Petri nets," IEEE Trans. Autom. Control, vol. 40, pp. 1717-1731, Oct. 1995.
2. V. K. Garg and R. Kumar, "State-variable approach for controlling discrete event systems with infinite states," in Proc. 1992 Amer. Control Conf., Chicago, IL, Jul. 1992, pp. 2809-2813.
3. C. H. Golaszewski and P. J. Ramadge, "Supervisory control of discrete event processes with arbitrary controls," in Discrete Event Systems: Models and Applications, P. Varaiya and A. B. Kurzhanski, Eds. New York: Springer-Verlag, 1987, pp. 459-469.
4. M. H. T. Hack, "The recursive equivalence of the reachability problem and the liveness problem for Petri nets and vector addition systems," in Proc. 15th Annu. Svmp. Switching Automata Theory, New Orleans, LA, Oct. 1974, pp. 156-164.
5. L. E. Holloway, X. Guan, and L. Zhang, "A generalization of state avoidance policies for controlled Petri nets," IEEE Trans. Autom. Control, vol. 41, pp. 804-816, Jun. 1996.
6. L. E. Holloway and B. H. Krogh, "Synthesis of feedback control logic for a class of controlled Petri nets," IEEE Trans. Autom. Control, vol. 35, pp. 514-523, May 1990.
7. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages and Computation. Reading, MA: Addison-Wesley, 1979.
8. R. Kumar and V. K. Garg, "Assignment program model for control of infinite state systems," in Proc. 1995 Annu. Allerton Conf., Urbana, IL, Oct. 1995, pp. 166-175.
9. _, (1997) Computation of state avoaidance control for infinite state systems in assignment program framework - The expanded version. Iowa State Univ., Ames. [Online]. Available: http://www.eng.iastate.edu/~rkumar/PUBS/ cstmttech.ps
10. R. Kumar, V. K. Garg, and S. I. Marcus, "Predicates and predicate transformers for supervisory control of discrete event systems," IEEE Trans. Autom. Control, vol. 38, pp. 232-247, Feb. 1993.
11. Y. Li and W. M. Wonham, "Control of vector discrete event systems I - The base model," IEEE Trans. Autom. Control, vol. 38, pp. 1214-1227, Aug. 1993.
12. S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert, "PVS System Guide," SRI International, Menlo Park, CA, Tech. Rep., Ver. 2.4, 2001.
13. J. L. Peterson, Petri Net Theory and Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
14. P. J. Ramadge and W. M. Wonham, "Modular feedback logic for discrete event systems," SIAM J. Control Optim., vol. 25, no. 5, pp. 1202-1218, 1987.
15. R. S. Sreenivas, "On a weaker notion of controllability of a language K with respect to a language L," IEEE Trans. Autom. Control, vol. 38, pp. 1446-1447, Sep. 1993.
16. G. Stremersch, Supervision of Petri Nets. Boston, MA: Kluwer, 2001.
17. G. Stremersch and R. K. Boel, "Reduction of the supervisory control problem for Petri nets," IEEE Trans. Autom. Control, vol. 45, pp. 2358-2363, Dec. 2000.
18. K. Yamalidou, J. Moody, M. Lemmon, and P. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, vol. 32, no. 1, pp. 15-28, 1996.