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

  1. Jiménez, E. 1
  2. Júlvez, J. 2
  3. Recalde, L. 2
  4. Silva, M. 2
  1. 1 Universidad de La Rioja
    info

    Universidad de La Rioja

    Logroño, España

    ROR https://ror.org/0553yr311

  2. 2 Universidad de Zaragoza
    info

    Universidad de Zaragoza

    Zaragoza, España

    ROR https://ror.org/012a91z28

Libro:
Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05

ISBN: 79-640961

Año de publicación: 2005

Volumen: 2005

Páginas: 7645-7650

Tipo: Capítulo de Libro

beta Ver similares en nube de resultados
DOI: 10.1109/CDC.2005.1583396 SCOPUS: 2-s2.0-33847231345 WoS: WOS:000240653707050 GOOGLE SCHOLAR
Repositorio institucional: lock_openAcceso abierto Editor

Resumen

Timed continuous PNs have been used as relaxed models to "approximately" evaluate 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 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 at least one transition. 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.