Automatic Synthesis of Robust and Optimal Controllers: An Industrial Case Study

Franck Cassez, Jan Jacob Jessen, Kim Guldstrand Larsen, Jean-Francois Raskin, Pierre-Alain Reynier

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

49 Citationer (Scopus)

Abstrakt

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.
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind5469
Sider (fra-til)90-114
ISSN0302-9743
DOI
StatusUdgivet - 2009
BegivenhedHybrid Systems: Computation and Control (HSCC) - San Francisco, USA
Varighed: 13 apr. 200915 apr. 2009
Konferencens nummer: 12

Konference

KonferenceHybrid Systems: Computation and Control (HSCC)
Nummer12
LandUSA
BySan Francisco
Periode13/04/200915/04/2009

Bibliografisk note

Titel:
Hybrid Systems

Undertitel:
Computation and Control

Oversat titel:


Oversat undertitel:


Forlag:
Springer

ISBN (Trykt):
978-3-642-00601-2

ISBN (Elektronisk):


Publikationsserier:
Lecture Notes in Computer Science, Springer Verlag, 0302-9743, 1611-3349, 5469

Emneord

  • Controller Synthesis
  • Optimality
  • UPPAAL
  • Simulink
  • Phaver

Fingeraftryk Dyk ned i forskningsemnerne om 'Automatic Synthesis of Robust and Optimal Controllers: An Industrial Case Study'. Sammen danner de et unikt fingeraftryk.

Citationsformater