Evènement pour le groupe Modélisation et Verification


Date 2009-12-17  11:00-12:15
TitreAutomatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study 
RésuméIn this talk, we show how to apply recent tools for the automatic synthesis of robust and near-optimal controllers for a real industrial case study. We show how to use three different classes of models and their supporting existing tools, UPPAAL - TIGA for synthesis, PHAVER for verification, and SIMULINK for simulation, in a complementary way.  
LieuSalle 076, LaBRI, Rez-de-chaussée 
OrateurPierre-Alain Reynier 
Emailpierre-alain.reynier@lif.univ-mrs.fr 
UrlLIF, Marseille 



Aucun document lié à cet événement.

Retour
Retour à l'index