Supervisory control of deterministic Petri nets with regular specification languages

IEEE Transactions on Automatic Control

Volumn 41, Issue 2, 1996, Pages 245-249

  Kumar, Ratnesh ^a   Holloway, Lawrence E ^a  

^a UNIVERSITY OF KENTUCKY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONTROLLABILITY; DISCRETE TIME CONTROL SYSTEMS; PETRI NETS; TREES (MATHEMATICS);

FORBIDDEN MARKING PROBLEM; FORBIDDEN STATE AVOIDANCE CONTROL; REGULAR SPECIFICATION LANGUAGES; RESTRICTIVE CONTROL;

SCADA SYSTEMS;

EID: 0030082976     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.481527     Document Type: Article

References (25)

1. R. D. Brandt, V. K. Garg, R. Kumar, F. Lin, S. I. Marcus, and W. M. Wonham, "Formulas for calculating supremal controllable and normal sublanguages," Syst. Contr. Lett., vol. 15, no. 8, pp. 111-117, 1990.
2. A. Finkel, "The minimal coverability graph for Petri nets," in Advances in Petri Nets, G. Rozenberg, Ed. Berlin: Springer-Verlag, pp. 210-243, 1994.
3. A. Giua and F. DiCesare, "Supervisory design using Petri nets," in Proc. 1991 IEEE Conf. Decision Contr., Brighton, England, pp. 92-97, Dec.
4. _, "On the existence of Petri net supervisors," in Proc. 1992 IEEE Conf. Decision Contr., Tucson, AZ, pp. 3380-3385, Dec.
5. _, "Weak Petri net languages in supervisory control," in Proc. 1993 IEEE Conf. Decision Contr., San Antonio, TX, pp. 229-234, Dec.
6. _, "Petri net incedence matrix analysis for supervisory control," IEEE Trans. Robot. Automat., vol. 10, no. 2, pp. 185-195, Apr. 1994.
7. 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, no. 5, pp. 514-523, May 1990.
8. _, "Synthesis of feedback control logic for discrete manufacturing systems," Automatica, vol. 27, no. 4, pp. 641-651, 1991.
9. _, "Controlled Petri nets: A tutorial survey," in Lecture Notes in Control and Information Sciences 1994, G. Cohen and J.-P. Quadrat, Eds. New York: Springer-Verlag, 1994, pp. 158-168.
10. R. Kumar and V. K. Garg, "Extremal solutions of inequations over lattices with applications to supervisory control," Theoretical Comp. Sci., Nov. 1995.
11. _, "State avoidance control for infinite state systems modeled using assignment programs," Discrete Event Dynamical Syst.: Theory Appl., 1995, submitted.
12. R. Kumar, V. K. Garg, and S. I. Marcus, "On controllability and normality of discrete event dynamical systems," Syst. Contr. Lett., vol. 17, no. 3, pp. 157-168, 1991.
13. _, "Predicates and predicate transformers for supervisory control of discrete event systems," IEEE Trans. Automat. Contr., vol. 38, no. 2, pp. 232-247, Feb. 1993.
14. R. Kumar and L. E. Holloway, "Supervisory control of Petri net languages," in Proc. 1992 IEEE Conf. Decision Contr., Tucson, AZ, pp. 1190-1195, Dec.
15. S. Lafortune and H. Yoo, "Some results on Petri net languages;" IEEE Trans. Automat. Contr., vol. 35, no. 4, pp. 482-485, Apr. 1990.
16. Y. Li and W. M. Wonham, "Control of vector discrete event systems I - The base model," IEEE Trans. Automat. Contr., vol. 38, no. 8, pp. 1214-1227, Aug. 1993.
17. _, "Control of vector discrete event systems II - Controller synthesis," IEEE Trans. Automat. Contr., vol. 39, no. 3. pp. 512-531, 1994.
18. E. W. Mayr, "An algorithm for the general Petri net reachability problem," SIAM J. Computing, pp. 441-460, 1984.
19. E. Pelz, "Closure properties of deterministic Petri net languages," in Lecture Notes in Computer Sciences 247, G. Goos and J. Hartmanis, Eds. New York: Springer-Verlag, 1987.
20. J. L. Peterson, Petri Net Theory and Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
21. P. J. Ramadge and W. M. Wonham, "On the supremal controllable sublanguage of a given language," SIAM J. Contr. Optimization, vol. 25, no. 3, pp. 637-659, 1987.
22. _, "Supervisory control of a class of discrete event processes," SIAM J. Contr. Optimization, vol. 25, no. 1, pp. 206-230, 1987.
23. R. S. Sreenivas, "Deterministic λ-free Petri net languages and their applications to the supervisory control of discrete event dynamical systems," in 36th Midwest Symp. Circuits Syst., Detroit, MI, 1993.
24. _, "A note on deciding the controllability of a language Κ with respect to a language," IEEE Trans. Automat. Contr., vol. 38, no. 4, pp. 658-662, 1993.
25. _, "On a weaker notion of controllability of a language Κ with respect to a language," IEEE Trans. Automat. Contr., vol. 38, no. 9, pp. 1446-1447, 1993.