Automated Controllability and Synthesis with Hierarchical Set Decision Diagrams

Yan Zhang 1 Béatrice Bérard 1 Fabrice Kordon 1 Yann Thierry-Mieg 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : 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.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01293801
Contributor : Lip6 Publications <>
Submitted on : Friday, March 25, 2016 - 2:51:42 PM
Last modification on : Thursday, March 21, 2019 - 1:09:31 PM

Identifiers

Citation

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. IFAC/Elsevier, 11th International Workshop on Discrete Event Systems (WODES'10), pp.281-286, 〈10.3182/20100830-3-DE-4013.00047〉. 〈hal-01293801〉

Share

Metrics

Record views

108