Skip to main content


Automatic synthesis of robust and optimal controllers — an industrial case study.


Franck Cassez, Jan J. Jessen, Kim G. Larsen, Jean-Fran├žois Raskin and Pierre-Alain Reynier



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

BibTeX Entry

    publisher        = {Springer},
    author           = {Cassez, Franck and Jessen, Jan J. and Larsen, Kim G. and Raskin, Jean-Fran├žois and Reynier,
    month            = may,
    editor           = {{Rupak Majumdar and Paulo Tabuada}},
    year             = {2009},
    keywords         = {timed automata, controller synthesis},
    title            = {Automatic Synthesis of Robust and Optimal Controllers --- An Industrial Case Study.},
    booktitle        = {Proc. of the 12th International Conference on Hybrid Systems: Computation and Control (HSCC'09)},
    pages            = {90--104},
    address          = {San Francisco, CA, USA}


Served by Apache on Linux on seL4.