The problem of designing an optimal decentralized supervisor that enforces static (e.g., job and resource bounds) and behavioral (e.g., liveness, reversibility and controllability) constraints simultaneously on a Petri net model is here addressed. The supervisor consists of multiple local controllers assigned to different control sites, such that each control site can operate on a subset of the net transitions. A transition can be employed by multiple sites, but is not necessarily controllable by all of them. The key elements of the approach are an integer linear programming formulation that finds the decentralized supervisor that maximizes the number of allowed states among a subset of those that would be allowed by a global supervisor and a branch & bound procedure on the state set that ultimately guarantees the maximal permissiveness of the solution.
Decentralized monitors design for Petri net models / F. Basile, R. Cordone, L. Piroddi (IFAC PROCEEDINGS VOLUMES). - In: IFAC International Workshop on Discrete Event Systems[s.l] : IFAC Secretariat, 2014. - ISBN 9783902823618. - pp. 73-79 (( Intervento presentato al 12. convegno IFAC/IEEE Workshop on Discrete Event Systems, WODES 2104 tenutosi a Cachan nel 2014 [10.3182/20140514-3-FR-4046.00048].
Decentralized monitors design for Petri net models
R. Cordone;
2014
Abstract
The problem of designing an optimal decentralized supervisor that enforces static (e.g., job and resource bounds) and behavioral (e.g., liveness, reversibility and controllability) constraints simultaneously on a Petri net model is here addressed. The supervisor consists of multiple local controllers assigned to different control sites, such that each control site can operate on a subset of the net transitions. A transition can be employed by multiple sites, but is not necessarily controllable by all of them. The key elements of the approach are an integer linear programming formulation that finds the decentralized supervisor that maximizes the number of allowed states among a subset of those that would be allowed by a global supervisor and a branch & bound procedure on the state set that ultimately guarantees the maximal permissiveness of the solution.File | Dimensione | Formato | |
---|---|---|---|
BasileCordonePiroddi_decentralizedWodes14 - (finale version).pdf
accesso riservato
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
149.94 kB
Formato
Adobe PDF
|
149.94 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
1-s2.0-S1474667015373833-main.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
214.98 kB
Formato
Adobe PDF
|
214.98 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.