Automatic Synthesis of Robust and Optimal Controllers An Industrial Case Study
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, Uppaal 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.
HSCC