Controllability of timed continuous Petri nets with uncontrollable transitions

This paper is concerned with controllability of Timed Continuous Petri nets, under infinite server semantics, with uncontrollable transitions, which are a class of hybrid systems (piecewise-linear). This class of hybrid systems is suitable for representing biological systems, high traffic information networks, heavily loaded supply chains, etc. By adopting a Control Theory approach, the contribution of this paper is the characterisation of controllability over sets of equilibrium markings (potential equilibrium points), first inside a single marking region (or linear mode) and later extended to several regions.

[1]  Jean Jacques Loiseau,et al.  Constrained regulation of continuous Petri nets , 2009 .

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

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

[4]  Lihua Xie,et al.  Null controllability of discrete-time planar bimodal piecewise linear systems , 2005 .

[5]  René K. Boel,et al.  A Continuous Petri Net Approach for Model Predictive Control of Traffic Systems , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[6]  Manuel Silva Suárez,et al.  Performance control of Markovian Petri nets via fluid models: A stock-level control example , 2009, 2009 IEEE International Conference on Automation Science and Engineering.

[7]  Dimitri Lefebvre.  Feedback control designs for manufacturing systems modelled by continuous Petri nets , 1999, Int. J. Syst. Sci..

[8]  Noureddine Zerhouni,et al.  Control of discrete event systems modelled by continuous Petri nets: case of opened manufacturing lines , 1997, Proceedings of International Conference on Robotics and Automation.

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

[10]  A. Haddad,et al.  On the Controllability and Observability of Hybrid Systems , 1988, 1988 American Control Conference.

[11]  Cristian Mahulea,et al.  Optimal Model Predictive Control of Timed Continuous Petri Nets , 2008, IEEE Transactions on Automatic Control.

[12]  Antonio Ramírez-Treviño,et al.  Control of Metabolic Systems Modeled with Timed Continuous Petri Nets , 2010, ACSD/Petri Nets Workshops.

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

[14]  Dimitri Lefebvre,et al.  Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling , 2005, Simul. Model. Pract. Theory.

[15]  Antonio Ramírez-Treviño,et al.  On Controllability of Timed Continuous Petri Nets , 2008, HSCC.

[16]  Carlos Renato Vazquez Topete,et al.  Fluidization, Controllability and Control of Timed continuous Petri Nets , 2011 .

[17]  Mercedes Pérez de la Parte,et al.  Simulation and Optimization of Logistic and Production Systems Using Discrete and Continuous Petri Nets , 2004, Simul..

[18]  J. H. Schuppen,et al.  A controllability result for piecewise-linear hybrid systems , 2001, 2001 European Control Conference (ECC).

[19]  R. Brammer.  Controllability in Linear Autonomous Systems with Positive Controllers , 1972 .

[20]  Manuel Silva Suárez,et al.  A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets , 1991, Applications and Theory of Petri Nets.

[21]  Manuel Silva,et al.  Introducing Petri nets , 1993 .

[22]  Zhendong Sun,et al.  On reachability and stabilization of switched linear systems , 2001, IEEE Trans. Autom. Control..

[23]  Alberto Bemporad,et al.  Observability and controllability of piecewise affine and hybrid systems , 2000, IEEE Trans. Autom. Control..

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

[25]  Guangming Xie,et al.  Controllability and stabilizability of switched linear-systems , 2003, Syst. Control. Lett..

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

[27]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[28]  D. Lefebvre,et al.  Fuzzy control of variable speed continuous Petri nets , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[29]  Fabrice Druaux,et al.  Some contributions with Petri nets for the modelling, analysis and control of HDS , 2007 .

[30]  L. Recalde,et al.  On Controllability of Timed Continuous Petri Net Systems: the Join Free Case , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[31]  M. Kanat Camlibel,et al.  Popov-Belevitch-Hautus type controllability tests for linear complementarity systems , 2007, Syst. Control. Lett..

[32]  A. El-Moudni,et al.  State variable description and controllability of a class of continuous Petri nets , 1996, 1996 IEEE International Symposium on Circuits and Systems. Circuits and Systems Connecting the World. ISCAS 96.

[33]  Cristian Mahulea,et al.  On fluidization of discrete event models: observation and control of continuous Petri nets , 2011, Discret. Event Dyn. Syst..