Resilience to failures and reconfigurations in the supervision based on place invariants

The supervision based on place invariants (SBPI) is a very efficient technique for the enforcement of linear marking constraints on Petri nets. We first outline the SBPI and the extension of the SBPI for liveness enforcement. Then we discuss the qualities and limitations of these methods from a fault tolerance/reconfigurations perspective.

[1]  Fu-Shiung Hsieh.  Reconfigurable fault tolerant deadlock avoidance controller synthesis for assembly production processes , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[2]  Philippe Darondeau,et al.  Linear control of live marked graphs , 2003, Autom..

[3]  Panos J. Antsaklis,et al.  Decentralized Control of Petri Nets , 2002 .

[4]  Panos J. Antsaklis,et al.  Methods for the supervisory control of concurrent systems based on petri net abstractions , 2004 .

[5]  Panos J. Antsaklis,et al.  Software Tools for the Supervisory Control of Petri Nets Based on Place Invariants , 2002 .

[6]  Alessandro Giua,et al.  On the choice of suboptimal monitors for supervisory control of Petri nets , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[7]  Alessandro Giua,et al.  A Survey of Petri Net Methods for Controlled Discrete Event Systems , 1997, Discret. Event Dyn. Syst..

[8]  Bruce H. Krogh,et al.  Synthesis of feedback control logic for a class of controlled Petri nets , 1990 .

[9]  Haoxun Chen,et al.  Control Synthesis of Petri Nets Based on S-Decreases , 2000, Discret. Event Dyn. Syst..

[10]  M. V. Iordache,et al.  Synthesis of supervisors enforcing general linear vector constraints in Petri nets , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[11]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[12]  Panos J. Antsaklis,et al.  Synthesis of deadlock prevention supervisors using Petri nets , 2002, IEEE Trans. Robotics Autom..

[13]  Alessandro Giua,et al.  Observability of place/transition nets , 2002, IEEE Trans. Autom. Control..

[14]  Panos J. Antsaklis,et al.  Petri net supervisors for DES with uncontrollable and unobservable transitions , 2000, IEEE Trans. Autom. Control..

[15]  Alessandro Giua,et al.  Generalized mutual exclusion contraints on nets with uncontrollable transitions , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.

[16]  Jeffrey C. Kantor,et al.  Modeling and optimal control of discrete-event chemical processes using petri nets , 1991 .

[17]  Geert Stremersch,et al.  Supervision of Petri Nets , 2001, The Springer International Series on Discrete Event Dynamic Systems.

[18]  Panos J. Antsaklis,et al.  Supervisory Control of Discrete Event Systems Using Petri Nets , 1998, The International Series on Discrete Event Dynamic Systems.

[19]  Alan A. Desrochers,et al.  Applications of Petri Nets in Manufacturing Systems: Modeling, Control, and Performance Analysis , 1994 .

[20]  Panos J. Antsaklis,et al.  Design of T-liveness enforcing supervisors in Petri nets , 2003, IEEE Trans. Autom. Control..

[21]  W. Wonham,et al.  Control of vector discrete-event systems. II. Controller synthesis , 1994, IEEE Trans. Autom. Control..

[22]  Michael D. Lemmon,et al.  Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods , 2002, IEEE Trans. Autom. Control..

[23]  Chen Haoxun.  Control Synthesis of Petri Nets Based on S-Decreases , 2000 .

[24]  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.

[25]  Jonghun Park,et al.  Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states , 2002, IEEE Trans. Robotics Autom..