Automated Controllability and Synthesis with Hierarchical Set Decision Diagrams - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Automated Controllability and Synthesis with Hierarchical Set Decision Diagrams

Yan Zhang
  • Fonction : Auteur
  • PersonId : 910804
Béatrice Bérard
Fabrice Kordon
Yann Thierry-Mieg

Résumé

Computation of a maximally permissive controller in the Ramadge-Wonham framework promises a general solution to automatically design a controller for a discrete event system, when it exists. However, like for all similar model-checking approaches, the combinatorial explosion of the state space remains a practical issue. The work presented here investigates how to exploit both hierarchical modeling and a symbolic model-checking engine to tackle this problem. This engine is based on a powerful class of Decision Diagrams called Hierarchical Set Decision Diagrams combined with a framework called Instantiable Transition Systems, in order to describe hierarchical models. To implement the controller activity, we propose to store the set of safe states, computed offline, as a decision diagram in the controller software, allowing to take decisions on-line. We run a prototype tool on several benchmark examples, including a problem of automated guided vehicles and a train crossing version with explicit discrete time. Results suggest good scalability, although the procedure is computationally intensive.
Fichier non déposé

Dates et versions

hal-01293801 , version 1 (25-03-2016)

Identifiants

Citer

Yan Zhang, Béatrice Bérard, Fabrice Kordon, Yann Thierry-Mieg. Automated Controllability and Synthesis with Hierarchical Set Decision Diagrams. 11th International Workshop on Discrete Event Systems (WODES'10), Sep 2010, Berlin, Germany. pp.281-286, ⟨10.3182/20100830-3-DE-4013.00047⟩. ⟨hal-01293801⟩
82 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More