On Controllability of Timed Continuous Petri Net Systems: the Join Free Case

Timed continuous PNs have been used as relaxed models to evaluate `approximately' the performance of the underlying discrete systems. Moreover, the control of the continuized systems can approximate the scheduling of the (discrete) PNs. This paper analyses the controllability of conservative and consistent join free net systems under infinite server semantics. They are positive systems in which classic control theory is not directly applicable: in this domain input actions are non-negative and dynamically bounded, leading to polytope constrained state space instead of a vectorial space. Thus a new concept of controllability is proposed. The `controllability space' (CS), included in this polytope, is studied depending on the set of controlled transitions. The full state space is `controllable' iff all the transitions are controlled. On the other hand, a given state can always be `controlled' (reached and maintained) without using all transitions. The CS obtained by controlling just one transition is a straight segment, and the CS obtained with several transitions includes the convex of the CS obtained independently with every transition. If additionally the system is choice-free the state space is a partition of the CS obtained with the entire set of transitions except one. Nevertheless borders belong to all neighbour regions.

[1]  Benjamin C. Kuo,et al.  AUTOMATIC CONTROL SYSTEMS , 1962, Universum:Technical sciences.

[2]  Katsuhiko Ogata,et al.  Modern Control Engineering , 1970 .

[3]  T. Murata.  State equation, controllability, and maximal matchings of petri nets , 1977 .

[4]  B. Kowalski,et al.  Partial least-squares regression: a tutorial , 1986 .

[5]  Paul Geladi,et al.  Principal Component Analysis , 1987, Comprehensive Chemometrics.

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

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

[8]  Luis Bergh,et al.  Control alternatives for flotation columns , 1993 .

[9]  Theodora Kourti,et al.  Process analysis, monitoring and diagnosis, using multivariate projection methods , 1995 .

[10]  Luis Bergh,et al.  Dynamic simulation of operating variables in flotation columns , 1995 .

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

[12]  Luis Bergh,et al.  Fuzzy supervisory control of flotation columns , 1998 .

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

[14]  Sirkka-Liisa Jämsä-Jounela,et al.  State of the art and challenges in mineral processing control , 2000 .

[15]  S. Rinaldi,et al.  Positive Linear Systems: Theory and Applications , 2000 .

[16]  Luis Bergh,et al.  Flotation column automation: state of the art , 2001 .

[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]  Juan Yianatos,et al.  Flotation Column Monitoring and Control Based on PLS Models , 2003 .

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

[20]  Manuel Silva Suárez,et al.  Relaxed continuous views of discrete event systems: considerations on Forrester diagrams and Petri nets , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

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

[22]  Manuel Silva Suárez,et al.  Design of observers for timed continuous Petri net systems , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

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

[24]  Manuel Silva Suárez,et al.  Steady-state performance evaluation of continuous mono-T-semiflow Petri nets , 2005, Autom..

[25]  Luis Bergh,et al.  Multivariate projection methods applied to flotation columns , 2005 .