Deadlock freeness for closed-loop marked graphs

Hatem Sioud 1 Zied Achour 1 Alexandre Sava 1 Nidhal Rezg 1
1 COSTEAM - Optimal and secure management of manufacturing systems
Inria Nancy - Grand Est, UPVM - Université Paul Verlaine - Metz
Abstract : This note presents a control synthesis approach for discrete event systems modeled by marked graphs with uncontrollable transitions. The forbidden behavior is specified by General Mutual Exclusion Constraints (GMEC). We prove that, even if the system to be controlled is live, the closed loop control may generate deadlock situations. Using the structural proprieties of marked graph we defined the causes of deadlock situations, and we defined a formal method to avoid them.
Type de document :
Article dans une revue
bulletin of the polish academy of sciences: technical sciences, International Publishing Service/IPS, 2009, 57 (3), pp.281-288
Liste complète des métadonnées

https://hal.inria.fr/inria-00600377
Contributeur : Ist Inria Nancy Grand Est <>
Soumis le : mardi 14 juin 2011 - 16:33:58
Dernière modification le : mercredi 15 mars 2017 - 12:11:36

Identifiants

  • HAL Id : inria-00600377, version 1

Collections

Citation

Hatem Sioud, Zied Achour, Alexandre Sava, Nidhal Rezg. Deadlock freeness for closed-loop marked graphs. bulletin of the polish academy of sciences: technical sciences, International Publishing Service/IPS, 2009, 57 (3), pp.281-288. 〈inria-00600377〉

Partager

Métriques

Consultations de la notice

364