|
Evènement pour le groupe Modélisation et Verification
Date | 2009-12-17 11:00-12:15 |
Titre | Automatic 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.
|
Lieu | Salle 076, LaBRI, Rez-de-chaussée |
Orateur | Pierre-Alain Reynier |
Email | pierre-alain.reynier@lif.univ-mrs.fr |
Url | LIF, Marseille |
Aucun document lié à cet événement. RetourRetour à l'index
| |