Live and maximally permissive controller synthesis using the theory of regions

Asma Ghaffari 1 Nidhal Rezg 1 Xiaolan Xie 1
1 MACSI - Industrial system modeling, analysis and operation
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This paper addresses the forbidden state problem of Petri nets with liveness requirement and uncontrollable transitions. The proposed approach synthesizes in two steps an optimal Petri net-based controller, whenever such a controller exists. First, the behavior of the closed loop system is computed with a Ramadge-Wonham-like approach. Then, control places, that realize the computed behavior when added to the original model, are synthesized. Necessary and sufficient condition of the existence of such places is obtained. A manufacturing application of the method shows its efficiency.
Type de document :
Communication dans un congrès
B. Caillaud, Ph. Darondeau, L. Lavagno and X.L. Xie. Symposium of the supervisory control of discrete event systems, Jul 2002, Paris, France, Kluwer Academic Publishers, 2002
Liste complète des métadonnées

https://hal.inria.fr/inria-00100952
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:53:06
Dernière modification le : mardi 27 février 2018 - 15:44:03

Identifiants

  • HAL Id : inria-00100952, version 1

Collections

Citation

Asma Ghaffari, Nidhal Rezg, Xiaolan Xie. Live and maximally permissive controller synthesis using the theory of regions. B. Caillaud, Ph. Darondeau, L. Lavagno and X.L. Xie. Symposium of the supervisory control of discrete event systems, Jul 2002, Paris, France, Kluwer Academic Publishers, 2002. 〈inria-00100952〉

Partager

Métriques

Consultations de la notice

139