Synthesis of supervisors enforcing general linear vector constraints in Petri nets
暂无分享,去创建一个
[1] Alessandro Giua,et al. Generalized mutual exclusion contraints on nets with uncontrollable transitions , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.
[2] Panos J. Antsaklis,et al. Feedback control of Petri nets based on place invariants , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.
[3] W. Wonham,et al. Control of vector discrete-event systems. II. Controller synthesis , 1994, IEEE Trans. Autom. Control..
[4] Feedback control of petri nets based on place invariants , 1996, Autom..
[5] Panos J. Antsaklis,et al. Supervisory Control of Discrete Event Systems Using Petri Nets , 1998, The International Series on Discrete Event Dynamic Systems.
[6] Panos J. Antsaklis,et al. Enforcement of event-based supervisory constraints using state-based methods , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).
[7] Panos J. Antsaklis,et al. Petri net supervisors for DES with uncontrollable and unobservable transitions , 2000, IEEE Trans. Autom. Control..
[8] Alessandro Giua,et al. Supervisory control of railway networks with Petri nets , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).
[9] Geert Stremersch,et al. Supervision of Petri Nets , 2001, The Springer International Series on Discrete Event Dynamic Systems.
[10] Panos J. Antsaklis,et al. Methods for the supervisory control of concurrent systems based on petri net abstractions , 2004 .