A structural approach to the enforcement of language and disjunctive constraints

Proceedings of the American Control Conference

Volumn 6, Issue , 2005, Pages 3920-3925

  Iordache, Marian V ^a   Antsaklis, Panos J ^b  

^a LETOURNEAU UNIVERSITY   (United States)

^b University of Notre Dame   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; PETRI NETS;

DISJUNCTIVE CONSTRAINTS; PETRI NET LANGUAGES; SUPERVISION BASED ON PLACE INVARIANTS (SBPI);

COMPUTATIONAL LINGUISTICS;

EID: 23944436337     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. A. Bemporad and M. Morari. Control of systems integrating logic, dynamics, and constraints. Automatica, 35(3):407-427, 1999.
2. H. Chen and B. Hu. Monitor-based control of a class of controlled Petri nets. In Proceedings of the 3rd International Conference on Automation. Robotics and Computer Vision, 1994.
3. H. J. Genrich, K. Lautenbach, and P. S. Thiagarajan. Elements of general net theory. In Brauer, W., editor. Net Theory and Applications, volume 84 of Lecture Notes in Computer Science, pages 21-163. Springer-Verlag. 1980.
4. A. Giua and F. DiCesare. Blocking and controllability of Petri nets in supervisory control. IEEE Transactions on Automatic Control, 39(4):818-823, 1994.
5. A. Giua, F. DiCesare, and M. Silva. Generalized mutual exclusion constraints on nets with uncontrollable transitions. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, pages 974-979, 1992.
6. A. Giua and C. Seatzu. Supervisory control of railway networks with Petri nets. In Proceedings of the 40'th IEEE Conference on Decision and Control, pages 5004-5009. December 2001.
7. M. V. Iordache. Methods for the Supervisory Control of Concurrent Systems Based on Petri Net Abstractions. PhD thesis, University of Notre Dame, 2003.
8. M. V. Iordache and P. J. Antsaklis. Supervision based on place invariants: A survey. Technical report isis-2004-003, University of Notre Dame, July 2004.
9. M.V. Iordache and P.J. Antsaklis. Synthesis of supervisors enforcing general linear vector constraints in Petri nets. IEEE Transactions on Automatic Control, 48(11):2036-2039, 2003.
10. B.H. Krogh and L.E. Holloway. Synthesis of feedback control logic for manufacturing systems. Automatica, 27(4):641-651, 1991.
11. R. Kumar and L. Holloway. Supervisory control of Petri nets with regular specifi cation languages. IEEE Transactions on Automatic Control, 41(2):245-249, 1996.
12. Y. Li and W. Wonham. Control of Vector Discrete-Event Systems I - The Base Model. IEEE Transactions on Automatic Control, 38(8): 1214-1227, 1993.
13. J. O. Moody and P. J. Antsaklis. Supervisory Control of Discrete Event Systems Using Petri Nets. Kluwer Academic Publishers, 1998.
14. J. O. Moody and P. J. Antsaklis. Petri net supervisors for DES with uncontrollable and unobservable transitions. IEEE Transactions on Automatic Control, 45(3):462-476, 2000.
15. J. L. Peterson. Petri Net Theory and the Modeling of Systems. Englewood Cliffs, New Jersey: Prentice Hall, Inc., 1981.
16. M. Tittus and B. Egardt. Hierarchical supervisory control for batch processes. IEEE Transactions on Control Systems Technology, 7(5):542-554, 1999.
17. H. P. Williams. Linear and integer programming applied to the prepositional calculus. International Journal of Systems Research and Information Science, 2:81-100, 1987.
18. H. P. Williams. Model building in mathematical programming. Wiley, 1993. (3rd ed.).
19. E. Yamalidou and J. Kantor. Modeling and optimal control of discrete-event chemical processes using Petri nets. Computers and Chemical Engineering, 15(7):503-519, 1991.
20. E. Yamalidou, J. O. Moody, P. J. Antsaklis, and M. D. Lemmon. Feedback control of Petri nets based on place invariants. Automatica, 32(1): 15-28, 1996.