Evènement pour le groupe Modélisation et Verification


Date 2009-10-22  11:00-12:15
TitreControl 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. 
LieuSalle 076, LaBRI, Rez-de-chaussée 
OrateurTristan Le Gall 
Emailtristan.le_gall@irisa.fr 
UrlULB, Bruxelle, Belgique 



Aucun document lié à cet événement.

Retour
Retour à l'index