An approach to determine controllability of monolithic supervisors

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 19, Issue , 2014, Pages 2429-2434

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

^a XIDIAN UNIVERSITY   (China)

^b UNIVERSITY OF CAGLIARI   (Italy)

^c AIX MARSEILLE UNIV   (France)

Author keywords

Controllability; Discrete event system; Petri net; Supervisory control

Indexed keywords

AUTOMATION; CONTROLLABILITY; DISCRETE EVENT SIMULATION; PETRI NETS; SUPERVISORY PERSONNEL;

BOUNDEDNESS; CONCURRENT COMPOSITION; CONTROL PROBLEMS; LINEAR CONSTRAINTS; SUPERVISORY CONTROL;

CONCURRENCY CONTROL;

EID: 84929730643     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20140824-6-za-1003.01888     Document Type: Conference Paper

References (18)

1. Basile, F., Carbone, C., and Chiacchio, P. (2007). Feedback control logic for backward conflict free choice nets. IEEE Trans. On Automatic Control, 52, 387-400.
2. m. Journal of Computer and System Sciences, 59, 373-391.
3. Giua, A. (2013). Supervisory control of Petri nets with language specifications. In C. Seatzu, M. Silva, and J. van Schuppen (eds.), Control of discrete-event systems, Volume 433, 235-255. Springer, London.
4. Giua, A. and DiCesare, F. (1994). Blocking and controllability of Petri nets in supervisory control. IEEE Transactions on Automatic Control, 39, 818-823.
5. Giua, A. and DiCesare, F. (1995). Decidability and closure properties of weak Petri net languages in supervisory control. IEEE Transactions on Automatic Control, 40, 906-910.
6. Giua, A., DiCesare, F., and Silva, M. (1992). Generalized mutual exclusion constraints for Petri nets with uncontrollable transitions. In Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, 947-949. Chicago, USA.
7. Holloway, L., Khare, A., and Gong, Y. (2004). Computing bounds for forbidden state reachability functions for controlled Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 34, 219-228.
8. Holloway, L., Krogh, B., and Giua, A. (1997). A survey of Petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Applications, 7, 151-190.
9. Iordache, M. and Antsaklis, P. (2007). Petri net supervisors for disjunctive constraints. In Proc. American Control Conference, 4951-4956.
10. Iordache, M., Wu, P., Zhu, F., and Antsaklis, P. (2013). Efficient design of Petri-net supervisors with disjunctive specifications. In Proc. IEEE Int. Conf. on Automation Science and Engineering, Coming Soon. Madison, USA.
11. Kumar, R. and Holloway, L. (1996). Supervisory control of deterministic petri nets with regular specification languages. IEEE Trans. on Automatic Control, 41, 245-249.
12. Lacerda, B. (2013). Supervision of Discrete Event Systems Based on Temporal Logic Specifications. Ph.D. thesis, Institute for Systems and Robotics - Instituto Superior Tcnico, School of Computer Science, University of Birmingham.
13. Li, Z. and Zhou, M. (2009). Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Springer, London.
14. Luo, J. and Nonami, K. (2011). Approach for transforming linear constraints on Petri nets. IEEE Trans. On Automatic Control, 56, 2751-2765.
15. Ma, Z., Li, Z., and Giua, A. (2013). Petri net controllers for disjunctive generalized mutual exclusion constraints. In Proc. IEEE Int. Conf. on Emerging Technologies and Factory Automation, 10.1109/ETFA.2013.6648003. Cagliari Italy.
16. Moody, J. and Antsaklis, P. (2000). Petri net supervisors for DES with uncontrollable and unobservable transitions. IEEE Trans. on Automatic Control, 45, 462-476.
17. Ramadge, P. and Wonham, W. (1989). The control of discrete event systems. In Proceedings IEEE, 77, 81-98.
18. Uzam, M. (2010). On suboptimal supervisory control of Petri nets in the presence of uncontrollable transitions via monitor places. Int. J. of Advanced Manufacturing Technology, 47, 567-579.