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.
Origin : Files produced by the author(s)
Loading...