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

doi:10.1007/978-3-642-00602-9_7

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 journal › Conference article in Journal › Research › peer-review

55 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 language	English
Book series	Lecture Notes in Computer Science
Volume	5469
Pages (from-to)	90-114
ISSN	0302-9743
DOIs	https://doi.org/10.1007/978-3-642-00602-9_7
Publication status	Published - 2009
Event	Hybrid Systems: Computation and Control (HSCC) - San Francisco, United States Duration: 13 Apr 2009 → 15 Apr 2009 Conference number: 12

Conference

Conference	Hybrid Systems: Computation and Control (HSCC)
Number	12
Country/Territory	United States
City	San Francisco
Period	13/04/2009 → 15/04/2009

Keywords

Controller Synthesis
Optimality
UPPAAL
Simulink
Phaver

Access to Document

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

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@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 ; Hybrid Systems: Computation and Control (HSCC) ; Conference date: 13-04-2009 Through 15-04-2009",

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

}

TY - GEN

T1 - Automatic Synthesis of Robust and Optimal Controllers

T2 - Hybrid Systems: Computation and Control (HSCC)

AU - Cassez, Franck

AU - Jessen, Jan Jacob

AU - Larsen, Kim Guldstrand

AU - Raskin, Jean-Francois

AU - Reynier, Pierre-Alain

N1 - Conference code: 12

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

SN - 0302-9743

VL - 5469

SP - 90

EP - 114

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

Y2 - 13 April 2009 through 15 April 2009

ER -

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

Abstract

Conference

Keywords

Access to Document

AUB Link

Fingerprint

Cite this