Automatic synthesis of robust and optimal controllers - An industrial case study

Franck Cassez*, Jan J. Jessen, Kim G. Larsen, Jean François Raskin, Pierre Alain Reynier

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

49 Citations (Scopus)

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

Original languageEnglish
Title of host publicationHybrid systems
Subtitle of host publicationcomputation and control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 2009, proceedings
EditorsRupak Majumdar, Paulo Tabuada
Place of PublicationBerlin
PublisherSpringer, Springer Nature
Pages90-104
Number of pages15
ISBN (Print)9783642006012
DOIs
Publication statusPublished - 2009
Externally publishedYes
Event12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009 - San Francisco, CA, United States
Duration: 13 Apr 200915 Apr 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5469
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009
CountryUnited States
CitySan Francisco, CA
Period13/04/0915/04/09

Fingerprint Dive into the research topics of 'Automatic synthesis of robust and optimal controllers - An industrial case study'. Together they form a unique fingerprint.

Cite this