This paper concerns the design of decentralized supervisors for Petri nets. In the considered framework, the set of transitions is partitioned into blocks belonging to different modules, and any local controller can operate only on the transitions of a given module. A decentralized supervisor is determined that enforces a global specification given in terms of Generalized Mutual Exclusion Constraints so that each local supervisor detects and disables transitions of a single module only. The proposed approach computes a maximally permissive solution.
Compact and decentralized supervisors for general constraint enforcement in Petri net models / F. Basile, R. Cordone, L. Piroddi - In: Proceedings of the 52nd IEEE Conference on Decision and Control, CDC : Firenze, Italy, 10-13 december 2013Piscataway : Institute of electrical and electronics engineers, 2013 Dec. - pp. 7279-7284 (( Intervento presentato al 52. convegno IEEE Conference on Decision and Control (CDC) tenutosi a Firenze nel 2013 [10.1109/CDC.2013.6761044].
Compact and decentralized supervisors for general constraint enforcement in Petri net models
R. Cordone;
2013
Abstract
This paper concerns the design of decentralized supervisors for Petri nets. In the considered framework, the set of transitions is partitioned into blocks belonging to different modules, and any local controller can operate only on the transitions of a given module. A decentralized supervisor is determined that enforces a global specification given in terms of Generalized Mutual Exclusion Constraints so that each local supervisor detects and disables transitions of a single module only. The proposed approach computes a maximally permissive solution.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.