Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download

https://hal.inria.fr/inria-00493634
Contributor : Franck Cassez <>
Submitted on : Monday, June 21, 2010 - 4:30:58 AM
Last modification on : Thursday, June 4, 2020 - 10:40:07 AM
Long-term archiving on: : Wednesday, September 22, 2010 - 5:52:56 PM

File

hscc-09.pdf
Files produced by the author(s)

Identifiers

  • 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. pp.90--104. ⟨inria-00493634⟩

Share

Metrics

Record views

165

Files downloads

516