Automatic Synthesis of Robust and Optimal Controllers -- An Industrial Case Study

Abstract : 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.
Type de document :
Communication dans un congrès
International Conference on Hybrid Systems: Computation and Control (HSCC'09), Apr 2009, San Francisco, United States. 5469, pp.90--104, 2009, LNCS
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00493634
Contributeur : Franck Cassez <>
Soumis le : lundi 21 juin 2010 - 04:30:58
Dernière modification le : vendredi 9 mars 2018 - 11:26:01
Document(s) archivé(s) le : mercredi 22 septembre 2010 - 17:52:56

Fichier

hscc-09.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00493634, version 1

Collections

Citation

Franck Cassez, Jan J. Jessen, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier. Automatic Synthesis of Robust and Optimal Controllers -- An Industrial Case Study. International Conference on Hybrid Systems: Computation and Control (HSCC'09), Apr 2009, San Francisco, United States. 5469, pp.90--104, 2009, LNCS. 〈inria-00493634〉

Partager

Métriques

Consultations de la notice

80

Téléchargements de fichiers

227