|
Evènement pour le groupe Modélisation et Verification
Date | 2009-10-22 11:00-12:15 |
Titre | Control of Infinite Symbolic Transition Systems under Partial Observation |
Résumé | We propose algorithms for the synthesis of state-feedback
controllers through partial observation of infinite state systems
modelled by Symbolic Transition Systems.
To obtain algorithms for solving these problems, we use abstract
interpretation techniques which provide over-approximations of the
transitions set to be disabled.
We implemented those algorithm in a tool and made an empirical validation of our
methods to show their feasibility and usability.
Keywords: Symbolic Transition Systems, Control Synthesis,
Partial Observation, Abstract Interpretation.
Joint work with Gabriel Kalyon, Tristan Le Gall, Hervé Marchand and Thierry Massart. |
Lieu | Salle 076, LaBRI, Rez-de-chaussée |
Orateur | Tristan Le Gall |
Email | tristan.le_gall@irisa.fr |
Url | ULB, Bruxelle, Belgique |
Aucun document lié à cet événement. RetourRetour à l'index
| |