Properties of continuous Petri nets controlled via model predictive control

In previous papers we investigated the problem of deriving an optimal control law for continuous Petri nets under infinite server semantics. In particular, the problem was studied through Model Predictive Control (MPC), an advanced control method, extensively used in industrial applications. In this work we discuss some properties of the resulting closed-loop system, such as feasibility and asymptotic stability. We prove that for continuous Petri nets feasibility is always guaranteed, while asymptotic stability is not ensured. Finally, we demonstrate that the introduction of an appropriate terminal constraint may guarantee asymptotic stability provided that certain assumptions on the initial state and the moving horizon are satisfied.

[1]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[2]  C. Seatzu,et al.  Optimal control of continuous Petri nets via model predictive control , 2006, 2006 8th International Workshop on Discrete Event Systems.

[3]  M. Silva,et al.  On performance monotonicity and basic servers semantics of continuous Petri nets , 2006, 2006 8th International Workshop on Discrete Event Systems.

[4]  Manuel Silva Suárez,et al.  On fluidification of Petri Nets: from discrete to hybrid and continuous models , 2003, Annu. Rev. Control..

[5]  René David,et al.  Continuous and Hybrid Petri Nets , 1998, J. Circuits Syst. Comput..

[6]  Stéphane Lafortune,et al.  Supervisory control using variable lookahead policies , 1993, 1993 American Control Conference.

[7]  Manuel Silva,et al.  On Fluidification of Petri Nets: From Discrete to Hybrid and Continuous Models , 2003, ADHS.

[8]  Bart De Schutter,et al.  Model predictive control for max-plus-linear discrete event systems , 2001, Autom..

[9]  James B. Rawlings,et al.  Constrained linear quadratic regulation , 1998, IEEE Trans. Autom. Control..

[10]  Alessandro Giua,et al.  Petri net structural analysis for supervisory control , 1994, IEEE Trans. Robotics Autom..

[11]  Cristian Mahulea,et al.  On Sampling continuous Timed Petri Nets: Reachability "Equivalence" under Infinite Servers Semantics , 2006, ADHS.

[12]  Alberto Bemporad,et al.  The explicit linear quadratic regulator for constrained systems , 2003, Autom..

[13]  D. Mayne,et al.  Model predictive control of constrained piecewise affine discrete‐time systems , 2003 .

[14]  Alberto Bemporad,et al.  Performance analysis of piecewise linear systems and model predictive control systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[15]  Antonio Ramírez-Treviño,et al.  Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net Systems , 2008, IEEE Transactions on Automation Science and Engineering.

[16]  Jan M. Maciejowski,et al.  Predictive control : with constraints , 2002 .