Automatic Synthesis of Robust and Optimal Controllers -- An Industrial Case Study
Résumé
In this paper, 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, TiGA for synthesis, PHAVer for verification, and {\sc Simulink} for simulation, in a complementary way. We believe that this case study shows that our tools have reached a level of maturity that allows us to tackle interesting and relevant industrial control problems.
Domaines
Théorie et langage formel [cs.FL]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...