In this paper we study the problem of supervisory design using Petri nets. We consider a monolithic supervisor candidate, i.e., a net obtained by concurrent composition of plant and specification, and we say that the control problem has an OR-AND GMEC solution if the set of the legal markings of such a net can be described by a disjunction/conjunctions of linear constraints. We derive some sufficient conditions, based on the boundedness of some places of the net, for the existence of such a solution.

An approach to determine controllability of monolithic supervisors

Ma, Ziyue;Li, Zhiwu;GIUA, ALESSANDRO
2014-01-01

Abstract

In this paper we study the problem of supervisory design using Petri nets. We consider a monolithic supervisor candidate, i.e., a net obtained by concurrent composition of plant and specification, and we say that the control problem has an OR-AND GMEC solution if the set of the legal markings of such a net can be described by a disjunction/conjunctions of linear constraints. We derive some sufficient conditions, based on the boundedness of some places of the net, for the existence of such a solution.
2014
9783902823625
Controllability; Discrete event system; Petri net; Supervisory control; Control and Systems Engineering
File in questo prodotto:
File Dimensione Formato  
14ifac_a_draft.pdf

accesso aperto

Descrizione: Articolo principale
Tipologia: versione post-print (AAM)
Dimensione 234.02 kB
Formato Adobe PDF
234.02 kB Adobe PDF Visualizza/Apri

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/213787
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact