Incremental discrete controller synthesis for communicating systems based on modular decomposition - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Incremental discrete controller synthesis for communicating systems based on modular decomposition

Mingming Ren
  • Fonction : Auteur
  • PersonId : 859577
Emil Dumitrescu
Laurent Piétrac
Eric Niel
  • Fonction : Auteur
  • PersonId : 843451

Résumé

The symbolic Discrete Controller Synthesis (DCS) is applied incrementally on successive abstractions of the system to be controlled, which is composed of two or more concurrent communicating components. We keep one component while abstract away all others. DCS is applied on the resulting abstract system and produces an intermediate approximate control solution. We refine the abstract model incrementally by adding concrete model of the abstracted components one by one. At each refinement, the previous intermediate solution is used as a starting point synthesizing a more precise solution until the precise supervisor is reached. The efficiency of the incremental technique is illustrated with performance assessments on several models.

Dates et versions

hal-00908532 , version 1 (24-11-2013)

Identifiants

Citer

Mingming Ren, Emil Dumitrescu, Laurent Piétrac, Eric Niel. Incremental discrete controller synthesis for communicating systems based on modular decomposition. WODES'11, Oct 2012, Guadalajara, Mexico. pp.315-322, ⟨10.3182/20121003-3-MX-4033.00051⟩. ⟨hal-00908532⟩
84 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More