Control synthesis for partially controlled marked graph subject to marking exclusion constraints - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

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

Résumé

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.
Fichier non déposé

Dates et versions

inria-00601022 , version 1 (16-06-2011)

Identifiants

Citer

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⟩
115 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More