Skip to Main content Skip to Navigation
Journal articles

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.
Complete list of metadata
Contributor : Ist Inria Nancy Grand Est Connect in order to contact the contributor
Submitted on : Tuesday, June 14, 2011 - 4:33:58 PM
Last modification on : Friday, February 4, 2022 - 3:08:51 AM


  • HAL Id : inria-00600377, version 1



Hatem Sioud, Zied Achour, Alexandre Sava, Nidhal Rezg. Deadlock freeness for closed-loop marked graphs. Bulletin of the Polish Academy of Sciences: Technical Sciences, Polish Academy of Sciences, 2009, 57 (3), pp.281-288. ⟨inria-00600377⟩



Record views