In this paper, we consider the problem of marking estimation in labeled Petri nets whose initial marking is known to belong to a given convex set, in the presence of silent transitions (i.e., transitions labeled with the empty word) and indistinguishable transitions (i.e., transitions sharing the same label with other transitions). First, we demonstrate that all sets of markings consistent with a given sequence of observations can be described in linear algebraic terms (as a union of convex sets); subsequently, this observation is used to construct (offline) a marking observer under appropriate boundedness assumptions. Using the marking observer we show how to derive, at design time, a state feedback control law under the assumption that all transitions sharing a label can be enabled or disabled simultaneously as a group; this way, the most burdensome part of the computations is performed offline.

Marking observer in labeled petri nets with application to supervisory control

CABASINO, MARIA PAOLA;SEATZU, CARLA
2017-01-01

Abstract

In this paper, we consider the problem of marking estimation in labeled Petri nets whose initial marking is known to belong to a given convex set, in the presence of silent transitions (i.e., transitions labeled with the empty word) and indistinguishable transitions (i.e., transitions sharing the same label with other transitions). First, we demonstrate that all sets of markings consistent with a given sequence of observations can be described in linear algebraic terms (as a union of convex sets); subsequently, this observation is used to construct (offline) a marking observer under appropriate boundedness assumptions. Using the marking observer we show how to derive, at design time, a state feedback control law under the assumption that all transitions sharing a label can be enabled or disabled simultaneously as a group; this way, the most burdensome part of the computations is performed offline.
2017
Discrete event systems; Petri nets; state estimation; supervisory control; Control and Systems Engineering; Computer Science Applications1707 Computer Vision and Pattern Recognition; Electrical and Electronic Engineering
File in questo prodotto:
File Dimensione Formato  
TAC17_CHS.pdf

Solo gestori archivio

Tipologia: versione editoriale
Dimensione 930.65 kB
Formato Adobe PDF
930.65 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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: https://hdl.handle.net/11584/213889
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 20
  • ???jsp.display-item.citation.isi??? 16
social impact