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

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

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 proceeding › Conference proceeding contribution › peer-review

56 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
Title of host publication	Hybrid systems
Subtitle of host publication	computation and control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 2009, proceedings
Editors	Rupak Majumdar, Paulo Tabuada
Place of Publication	Berlin
Publisher	Springer, Springer Nature
Pages	90-104
Number of pages	15
ISBN (Print)	9783642006012
DOIs	https://doi.org/10.1007/978-3-642-00602-9_7
Publication status	Published - 2009
Externally published	Yes
Event	12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009 - San Francisco, CA, United States Duration: 13 Apr 2009 → 15 Apr 2009

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5469
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Other

Other	12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009
Country/Territory	United States
City	San Francisco, CA
Period	13/04/09 → 15/04/09

Access to Document

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

Cite this

Cassez, F., Jessen, J. J., Larsen, K. G., Raskin, J. F., & Reynier, P. A. (2009). Automatic synthesis of robust and optimal controllers - An industrial case study. In R. Majumdar, & P. Tabuada (Eds.), Hybrid systems: computation and control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 2009, proceedings (pp. 90-104). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5469). Springer, Springer Nature. https://doi.org/10.1007/978-3-642-00602-9_7

Cassez, Franck ; Jessen, Jan J. ; Larsen, Kim G. et al. / Automatic synthesis of robust and optimal controllers - An industrial case study. Hybrid systems: computation and control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 2009, proceedings. editor / Rupak Majumdar ; Paulo Tabuada. Berlin : Springer, Springer Nature, 2009. pp. 90-104 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{46109bdac9b44684ad7ea0a6fdae9cc4,

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

author = "Franck Cassez and Jessen, {Jan J.} and Larsen, {Kim G.} and Raskin, {Jean Fran{\c c}ois} and Reynier, {Pierre Alain}",

year = "2009",

doi = "10.1007/978-3-642-00602-9_7",

language = "English",

isbn = "9783642006012",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer, Springer Nature",

pages = "90--104",

editor = "Rupak Majumdar and Paulo Tabuada",

booktitle = "Hybrid systems",

address = "United States",

note = "12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009 ; Conference date: 13-04-2009 Through 15-04-2009",

}

Cassez, F, Jessen, JJ, Larsen, KG, Raskin, JF & Reynier, PA 2009, Automatic synthesis of robust and optimal controllers - An industrial case study. in R Majumdar & P Tabuada (eds), Hybrid systems: computation and control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 2009, proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5469, Springer, Springer Nature, Berlin, pp. 90-104, 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, San Francisco, CA, United States, 13/04/09. https://doi.org/10.1007/978-3-642-00602-9_7

Automatic synthesis of robust and optimal controllers - An industrial case study. / Cassez, Franck; Jessen, Jan J.; Larsen, Kim G. et al.
Hybrid systems: computation and control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 2009, proceedings. ed. / Rupak Majumdar; Paulo Tabuada. Berlin: Springer, Springer Nature, 2009. p. 90-104 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5469).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

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

AU - Cassez, Franck

AU - Jessen, Jan J.

AU - Larsen, Kim G.

AU - Raskin, Jean François

AU - Reynier, Pierre Alain

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.

UR - http://www.scopus.com/inward/record.url?scp=67650112947&partnerID=8YFLogxK

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

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

M3 - Conference proceeding contribution

AN - SCOPUS:67650112947

SN - 9783642006012

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 90

EP - 104

BT - Hybrid systems

A2 - Majumdar, Rupak

A2 - Tabuada, Paulo

PB - Springer, Springer Nature

CY - Berlin

T2 - 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009

Y2 - 13 April 2009 through 15 April 2009

ER -

Cassez F, Jessen JJ, Larsen KG, Raskin JF, Reynier PA. Automatic synthesis of robust and optimal controllers - An industrial case study. In Majumdar R, Tabuada P, editors, Hybrid systems: computation and control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 2009, proceedings. Berlin: Springer, Springer Nature. 2009. p. 90-104. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-00602-9_7

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

Abstract

Publication series

Other

Access to Document

Other files and links

Fingerprint

Cite this