A method to verify the controllability of language specifications in Petri nets based on basis marking analysis

Proceedings of the IEEE Conference on Decision and Control

Volumn 54rd IEEE Conference on Decision and Control,CDC 2015, Issue , 2015, Pages 1675-1681

  Ma, Ziyue ^a,b   Li, Zhiwu ^a,c,d   Giua, Alessandro ^b,e  

^a XIDIAN UNIVERSITY   (China)

^b UNIVERSITY OF CAGLIARI   (Italy)

^c KING ABDULAZIZ UNIVERSITY   (Saudi Arabia)

^d MACAU UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Macao)

^e AIX MARSEILLE UNIVERSITY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGER PROGRAMMING; PETRI NETS;

CONCURRENT COMPOSITION; EXHAUSTIVE ENUMERATION; INTEGER PROGRAMMING PROBLEMS; LANGUAGE SPECIFICATION; MARKING ANALYSIS;

SPECIFICATIONS;

EID: 84962014072     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2015.7402451     Document Type: Conference Paper

References (17)

1. P. Ramadge and W. Wonham, "The control of discrete event systems, " Proceedings of IEEE, vol. 77, pp. 81-98, 1989
2. C. G. Cassandras and S. Lafortune, Introduction to discrete event systems. Springer, 2008
3. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints for Petri nets with uncontrollable transitions, " in Proc. SMC92: IEEE Int. Conf. on Systems, Man, and Cybernetics, Chicago, USA, 1992, pp. 947-949
4. J. Moody and P. Antsaklis, "Petri net supervisors for DES with uncontrollable and unobservable transitions, " IEEE Transactions on Automatic Control, vol. 45, pp. 462-476, 2000
5. F. Basile, R. Cordone, and L. Piroddi, "Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models, " Automatica, vol. 49, pp. 3432-3439, 2013
6. J. L. Luo, W. M. Wu, H. Y. Su, and J. Chu, "Supervisor synthesis for enforcing a class of generalized mutual exclusion constraints on Petri nets, " IEEE Transactions on Systems, Man, and Cybernetics, Part A, vol. 39, pp. 1237-1246, 2009
7. M. Iordache and P. Antsaklis, "Petri net supervisors for disjunctive constraints, " in Proc. ACC07: 26th American Control Conference, New York, USA, 2007, pp. 4951-4956
8. M. Iordache, P. Wu, F. Zhu, and P. Antsaklis, "Efficient design of Petrinet supervisors with disjunctive specifications, " in Proc. CASE13: IEEE Int. Conf. on Automation Science and Engineering, Madison, USA, 2013, pp. 936-941
9. A. Giua, "Supervisory control of Petri nets with language specifications, " in Control of discrete-event systems, C. Seatzu, M. Silva, and J. van Schuppen, Eds. London: Springer, 2013, vol. 433, pp. 235-255
10. M. P. Cabasino, A. Giua, and C. Seatzu., "Fault detection for discrete event systems using Petri nets with unobservable transitions, " Automatica, vol. 46, pp. 1531-1539, 2010
11. M. P. Cabasino, A. Giua, M. Pocci, and C. Seatzu, "Discrete event diagnosis using labeled Petri nets: An application to manufacturing systems, " Control Engineering Practice, vol. 19, pp. 989-1001, 2011
12. Z. Y. Ma, Z. W. Li, and A. Giua, "Design of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints, " IEEE Transactions on Automatic Control, vol. 60, pp. 1774-1785, 2015
13. B. Lacerda and P. U. Lima, "On the notion of uncontrollable marking in supervisory control of Petri nets, " IEEE Transactions on Automatic Control, vol. 59, no. 11, pp. 53-61, 2014
14. Z. Y. Ma, Z. W. Li, and A. Giua, "Linear algebraic characterization of legal markings for Petri net supervisors, " in Proc. 14th IFAC World Congress, Capetown, South Africa, 2014, pp. 2429-2434
15. M. Cabasino, A. Giua, and C. Seatzu, "Identification of Petri nets from knowledge of their language, " Discrete Event Dynamic Systems, vol. 17, pp. 447-474, 2007
16. Y. Tong, Z. W. Li, C. Seatzu, and A. Giua, "Verification of currentstate opacity using Petri nets, " in Proc. ACC15: 34th American Control Conference, Chicago, USA, 2015
17. -,"Verification of initial-state opacity in DES, " in Proc. CDC15: 54th IEEE Conf. on Decision and Control, Osaka, Japan, 2015