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.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.