An optimization approach to Petri net monitor design

IEEE Transactions on Automatic Control

Volumn 52, Issue 2, 2007, Pages 306-311

  Basile, Francesco ^a   Chiacchio, Pasquale ^a   Giua, Alessandro ^b  

^a UNIVERSITY OF SALERNO   (Italy)

^b UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

Discrete event systems; Monitor places; Petri nets; Supervisory control

Indexed keywords

CLOSED LOOP CONTROL SYSTEMS; CONSTRAINT THEORY; DISCRETE EVENT SIMULATION; INTEGER PROGRAMMING; LINEAR PROGRAMMING; OPTIMAL CONTROL SYSTEMS; OPTIMIZATION; PETRI NETS;

CYCLE TIME; LINEAR FRACTIONAL PROGRAMMING; MONITOR PLACES; SUPERVISORY CONTROL;

CONTROL THEORY;

EID: 33947375191     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2006.887905     Document Type: Article

References (14)

1. F. Basile, P. Chiacchio, and A. Giua, "Suboptimal supervisory control of petri nets in presence of uncontrollable transitions via monitor places," Automatica, vol. 42, pp. 995-1004, 2006.
2. F. Basile, L. Recalde, P. Chiacchio, and M. Silva, "Closed-loop live Petri net supervisors for generalized mutual exclusion constraints," in Proc. 5th Int. Workshop on Discrete Event Systems (WODES 00), Gent, B, Aug. 2000, in Discrete Event Systems: Analysys and Control, R. Boel and G. Stremesch, Eds., 2000, pp. 169-180.
3. J. Campos, G. Chiola, and M. Silva, "Ergodicity and throughput bounds of Petri nets with unique consistent firing count vector," IEEE Trans. Software Eng., vol. 17, no. 2, pp. 117-125, Mar. 1991.
4. J. Campos and M. Silva, "Structural tecniques and performance bounds of stocastic Petri net models," in Advances in Petri Nets 1992. Berlin, Germany: Springer-Verlag, 1992, pp. 352-391, no. 609 of LNCS.
5. A. Giua, F. Di Cesare, and M. Silva, "Generalized Mutual Exclusion Constraints on Nets with Uncontrollable Transitions," in Proc. 1992 IEEE Int. Conf. Systems, Man, Cybernetics, Chicago, IL, Oct. 1992, pp. 974-979.
6. B. H. Krogh and L. E. Holloway, "Synthesis of feedback control logic for discrete manufacturing systems," Automatica, vol. 27, no. 4, pp. 614-651, Jan. 1991.
7. I. M. Stancu-Minasian, Fractional Programming: Theory, Methods and Applications. Norwell, MA: Kluwer, 1997.
8. J. O. Moody, K. Yamalidou, M. D. Lemmon, and P. J. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, vol. 32, no. 1, pp. 15-28, Jan. 1996.
9. J. O. Moody and P. J. Antsaklis, "Petri net supervisors for DES with uncontrollable and unobservable transitions," IEEE Trans. Autom. Control, vol. 45, no. 3, pp. 462-476, Mar. 2000.
10. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
11. K. R. Rohloff, S. Khuller, and G. Kortsarz, "Approximating the minimal sensor selection for supervisory control," Discrete Event Dyna. Syst., vol. 16, pp. 143-170, 2006.
12. L. Recalde, E. Teruel, and M. Silva, "On linear algebraic tecniques for liveness analysis of P/T systems," J. Circuits, Syst., Comput., vol. 1, no. 8, pp. 223-265, 1998.
13. S. D. Young and V. K. Garg, "Optimal sensor and actuator choices for discrete event systems," in Proc. 31st Allerton Conf. Communication, Control, and Computing, 1993.
14. P. J. Ramadge and W. M. Wonham, "Control of discrete-event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.