This paper discusses the problem of controlling a Petri net whose marking cannot be measured but is estimated using an observer. The control objective is that of enforcing a set of generalized mutual exclusion constraints (GMEC) and all transitions are assumed to be controllable. The use of marking estimates (as opposed to the exact knowledge of the actual marking of the plant) leads to a worse performance of the closed-loop system and it may also be the case that, as a result of this, the controlled system reaches a deadlock. We present a general approach, based on siphon analysis, to recover from such an "observer induced" deadlock. The most interesting feature of our approach is that the observer, controller and deadlock recovery algorithms are all based on the same linear algebraic techniques, thus allowing the overall problem to be solved using a single formalism.

Deadlock recovery of controlled Petri net models using observers

BASILE, FRANCESCO;CHIACCHIO, Pasquale;
2001

Abstract

This paper discusses the problem of controlling a Petri net whose marking cannot be measured but is estimated using an observer. The control objective is that of enforcing a set of generalized mutual exclusion constraints (GMEC) and all transitions are assumed to be controllable. The use of marking estimates (as opposed to the exact knowledge of the actual marking of the plant) leads to a worse performance of the closed-loop system and it may also be the case that, as a result of this, the controlled system reaches a deadlock. We present a general approach, based on siphon analysis, to recover from such an "observer induced" deadlock. The most interesting feature of our approach is that the observer, controller and deadlock recovery algorithms are all based on the same linear algebraic techniques, thus allowing the overall problem to be solved using a single formalism.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11386/1001971
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 23
  • ???jsp.display-item.citation.isi??? 18
social impact