2009 | OriginalPaper | Buchkapitel
Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
verfasst von : Franck Cassez, Jan J. Jessen, Kim G. Larsen, Jean-François Raskin, Pierre-Alain Reynier
Erschienen in: Hybrid Systems: Computation and Control
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.