 |
 |
|
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
| |