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

Research output: Contribution to journalConference article in JournalResearchpeer-review

45 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
Book seriesLecture Notes in Computer Science
Volume5469
Pages (from-to)90-114
ISSN0302-9743
DOIs
Publication statusPublished - 2009
EventHybrid Systems: Computation and Control (HSCC) - San Francisco, United States
Duration: 13 Apr 200915 Apr 2009
Conference number: 12

Conference

ConferenceHybrid Systems: Computation and Control (HSCC)
Number12
CountryUnited States
CitySan Francisco
Period13/04/200915/04/2009

Fingerprint

Synthesis
Controller
Controllers
Simulink
Control Problem
Simulation
Model
Class

Keywords

  • Controller Synthesis
  • Optimality
  • UPPAAL
  • Simulink
  • Phaver

Cite this

Cassez, Franck ; Jessen, Jan Jacob ; Larsen, Kim Guldstrand ; Raskin, Jean-Francois ; Reynier, Pierre-Alain. / Automatic Synthesis of Robust and Optimal Controllers : An Industrial Case Study. In: Lecture Notes in Computer Science. 2009 ; Vol. 5469. pp. 90-114.
@inproceedings{69e0d650fdc911de9a61000ea68e967b,
title = "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, 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.",
keywords = "Controller Synthesis, Optimality, UPPAAL, Simulink, Phaver, Controller Synthesis, Optimality, UPPAAL, Simulink, Phaver",
author = "Franck Cassez and Jessen, {Jan Jacob} and Larsen, {Kim Guldstrand} and Jean-Francois Raskin and Pierre-Alain Reynier",
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",
year = "2009",
doi = "10.1007/978-3-642-00602-9_7",
language = "English",
volume = "5469",
pages = "90--114",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Physica-Verlag",

}

Automatic Synthesis of Robust and Optimal Controllers : An Industrial Case Study. / Cassez, Franck; Jessen, Jan Jacob; Larsen, Kim Guldstrand; Raskin, Jean-Francois; Reynier, Pierre-Alain.

In: Lecture Notes in Computer Science, Vol. 5469, 2009, p. 90-114.

Research output: Contribution to journalConference article in JournalResearchpeer-review

TY - GEN

T1 - Automatic Synthesis of Robust and Optimal Controllers

T2 - An Industrial Case Study

AU - Cassez, Franck

AU - Jessen, Jan Jacob

AU - Larsen, Kim Guldstrand

AU - Raskin, Jean-Francois

AU - Reynier, Pierre-Alain

N1 - 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

PY - 2009

Y1 - 2009

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

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

KW - Controller Synthesis

KW - Optimality

KW - UPPAAL

KW - Simulink

KW - Phaver

KW - Controller Synthesis

KW - Optimality

KW - UPPAAL

KW - Simulink

KW - Phaver

U2 - 10.1007/978-3-642-00602-9_7

DO - 10.1007/978-3-642-00602-9_7

M3 - Conference article in Journal

VL - 5469

SP - 90

EP - 114

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -