Skip to Main content Skip to Navigation
Conference papers

Control synthesis for partially controlled marked graph subject to marking exclusion constraints

Abstract : The goal of control synthesis is to build a control law which forces the system to respect given specifications. In this paper we propose a new type of specification called Marking Exclusion Constraint (MEC). The main advantage of MEC specification is an increased modeling power regarding General Mutual Exclusion Constraints (GMEC). We define two types of MEC: MEC-OR and MEC-AND and we propose a technique to build the controller which enforces MEC specifications for discrete events systems modeled by marking graphs.
Complete list of metadata

https://hal.inria.fr/inria-00601022
Contributor : Ist Inria Nancy Grand Est Connect in order to contact the contributor
Submitted on : Thursday, June 16, 2011 - 2:38:26 PM
Last modification on : Friday, February 4, 2022 - 3:12:19 AM

Identifiers

Collections

Citation

Maen Atli, Alexandre Sava, Zied Achour, Nidhal Rezg. Control synthesis for partially controlled marked graph subject to marking exclusion constraints. 12th IFAC Symposium on Large Scale Systems: Theory and Applications - LSS 2010, Jul 2010, Lille, France. ⟨10.3182/20100712-3-FR-2020.00029⟩. ⟨inria-00601022⟩

Share

Metrics

Record views

114