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

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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.

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	5469
Sider (fra-til)	90-114
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-642-00602-9_7
Status	Udgivet - 2009
Begivenhed	Hybrid Systems: Computation and Control (HSCC) - San Francisco, USA Varighed: 13 apr. 2009 → 15 apr. 2009 Konferencens nummer: 12

Konference

Konference	Hybrid Systems: Computation and Control (HSCC)
Nummer	12
Land	USA
By	San Francisco
Periode	13/04/2009 → 15/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

Adgang til dokumentet

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

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

Citationsformater

@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 ; null ; 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

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

VL - 5469

SP - 90

EP - 114

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

Y2 - 13 April 2009 through 15 April 2009

ER -