Efficient design of Petri-net supervisors with disjunctive specifications

IEEE International Conference on Automation Science and Engineering

Volumn , Issue , 2013, Pages 936-941

  Iordache, Marian V ^a   Wu, Po ^b   Zhu, Feng ^b   Antsaklis, Panos J ^b  

^a LETOURNEAU UNIVERSITY   (United States)

^b University of Notre Dame   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOUNDEDNESS; EFFICIENT DESIGNS; INEQUALITY CONSTRAINT; MONITOR PLACES; SUPERVISION BASED ON PLACE INVARIANTS;

CONSTRAINT THEORY; PETRI NETS; SUPERVISORY PERSONNEL;

SPECIFICATIONS;

EID: 84891548791     PISSN: 21618070     EISSN: 21618089     Source Type: Conference Proceeding    
DOI: 10.1109/CoASE.2013.6653978     Document Type: Conference Paper

References (10)

1. A. Giua and F. DiCesare. Supervisory design using Petri nets. Proc. 30th IEEE Conf. Dec. Contr., pp. 92-97, 1991.
2. A. Giua, F. DiCesare, and M. Silva. Generalized mutual exclusion constraints on nets with uncontrollable transitions. Proc. IEEE Internat. Conf. Syst., Man, Cybern., pp. 974-979, 1992.
3. A. Giua and C. Seatzu. Supervisory control of railway networks with Petri nets. Proc. 40th IEEE Conf. Dec. Contr., pp. 5004-5009, 2001.
4. M. V. Iordache and P. J. Antsaklis. Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Birkḧauser, 2006.
5. M. V. Iordache and P. J. Antsaklis. Petri net supervisors for disjunctive constraints. Proc. Am. Contr. Conf., pp. 4951-4956, 2007.
6. B.H. Krogh and L.E. Holloway. Synthesis of feedback control logic for manufacturing systems. Automatica, 27(4):641-651, 1991.
7. G. Stremersch and R. K. Boel. Decomposition of the supervisory control problem for Petri nets under preservation of maximal permissiveness. IEEE Trans. Automat. Contr., 46(9):1490-1496, 2001.
8. G. Stremersch and R. K. Boel. Structuring acyclic Petri nets for reachability analysis and control. Discrete Event Dynamic Systems, 12(1):7-41, 2002.
9. M. Tittus and B. Egardt. Hierarchical supervisory control for batch processes. IEEE Trans. Contr. Syst. Technol., 7(5):542-554, 1999.
10. 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.