Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics

A new low-and-high gain algorithm is presented for tracking control of a subclass of timed continuous Petri Net (contPN) systems working under infinite servers semantics. The inherent properties of timed contPN determine that the control signals must be non-negative and upper bounded by functions of system states. In the proposed control approach, LQ theory is first used to design a low-gain controller such that the control signals satisfy the input constraints. Based on the low-gain controller, a high-gain term is further added to fully employ available control energy, and control performance can be improved consequently. In order to guarantee global tracking convergence and smoothness on the tracking target, a mixed trajectory (state step and ramp) is used instead of a pure step reference signal. The new tracking target is designed to ensure the existence of the low-gain controller and possible fast system response concurrently. Rigorous proof based on Lyapunov function is provided to guarantee that for a conservative and strongly connected Join-Free (JF) timed contPN system, the proposed algorithm can ensure the global asymptotical convergence of both system states and control signals.

[1]  Andrew R. Teel,et al.  trol of Linear Systems with Saturating , 1996 .

[2]  Jetty Kleijn,et al.  Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency , 2007 .

[3]  Meir Pachter,et al.  Toward improvement of tracking performance nonlinear feedback for linear systems , 1998 .

[4]  Tong Heng Lee,et al.  Composite nonlinear feedback control for linear systems with input saturation: theory and an application , 2003, IEEE Trans. Autom. Control..

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

[6]  Shuzhi Sam Ge,et al.  Switched Linear Systems , 2005 .

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

[8]  Susanna Donatelli,et al.  Application and Theory of Petri Nets 1999 , 2003, Lecture Notes in Computer Science.

[9]  Manuel Silva Suárez,et al.  Autonomous Continuous P/T Systems , 1999, ICATPN.

[10]  Manuel Silva Suárez,et al.  Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals , 1993, Decentralized and Distributed Systems.

[11]  L. Recalde,et al.  OPTIMAL OBSERVABILITY FOR CONTINUOUS PETRI NETS , 2005 .

[12]  Simon Peck,et al.  Practice of Petri Nets in Manufacturing , 1993 .

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

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

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

[16]  Jan H. van Schuppen,et al.  Reachability and control synthesis for piecewise-affine hybrid systems on simplices , 2006, IEEE Transactions on Automatic Control.

[17]  Manuel Silva Suárez,et al.  Petri nets and integrality relaxations: A view of continuous Petri net models , 2002, IEEE Trans. Syst. Man Cybern. Part C.

[18]  Manuel Silva Suárez,et al.  Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control , 2005, ICATPN.

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

[20]  L. Recalde,et al.  Optimal control of timed continuous petri nets via explicit MPC , 2006 .

[21]  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).

[22]  Andrew R. Teel,et al.  Control of linear systems with saturating actuators , 1996 .

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

[24]  Manuel Silva Suárez,et al.  Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals , 1997, IEEE Trans. Syst. Man Cybern. Part A.

[25]  P. R. Bélanger,et al.  Piecewise-linear LQ control for systems with input constraints , 1994, Autom..

[26]  Matthew C. Turner,et al.  Non-linear tracking control for multivariable constrained input linear systems , 2000 .

[27]  M. Johansson,et al.  Piecewise Linear Control Systems , 2003 .

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

[29]  Manuel Silva Suárez,et al.  Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems , 1996, Petri Nets.