Optimal and robust controller synthesis

Using energy timed automata with uncertainty

Giovanni Bacci*, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre Alain Reynier

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citation (Scopus)
OriginalsprogEngelsk
TitelFormal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings
RedaktørerKlaus Havelund, Bill Roscoe, Erik de Vink, Jan Peleska
Antal sider19
ForlagSpringer
Publikationsdato1 jan. 2018
Sider203-221
ISBN (Trykt)9783319955810
DOI
StatusUdgivet - 1 jan. 2018
Begivenhed22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018 - Oxford, Storbritannien
Varighed: 15 jul. 201817 jul. 2018

Konference

Konference22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018
LandStorbritannien
ByOxford
Periode15/07/201817/07/2018
SponsorDiffblue, Oxford University Computer Science Department, Springer
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind10951 LNCS
ISSN0302-9743

Fingerprint

Computability and decidability
Hydraulics
Pumps
Controllers
Uncertainty
Oils

Citer dette

Bacci, G., Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N., & Reynier, P. A. (2018). Optimal and robust controller synthesis: Using energy timed automata with uncertainty. I K. Havelund, B. Roscoe, E. de Vink, & J. Peleska (red.), Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings (s. 203-221). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind. 10951 LNCS https://doi.org/10.1007/978-3-319-95582-7_12
Bacci, Giovanni ; Bouyer, Patricia ; Fahrenberg, Uli ; Larsen, Kim Guldstrand ; Markey, Nicolas ; Reynier, Pierre Alain. / Optimal and robust controller synthesis : Using energy timed automata with uncertainty. Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. red. / Klaus Havelund ; Bill Roscoe ; Erik de Vink ; Jan Peleska. Springer, 2018. s. 203-221 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10951 LNCS).
@inproceedings{dd8eb9e60717424e90f1d79b26dcf5d8,
title = "Optimal and robust controller synthesis: Using energy timed automata with uncertainty",
author = "Giovanni Bacci and Patricia Bouyer and Uli Fahrenberg and Larsen, {Kim Guldstrand} and Nicolas Markey and Reynier, {Pierre Alain}",
year = "2018",
month = "1",
day = "1",
doi = "10.1007/978-3-319-95582-7_12",
language = "English",
isbn = "9783319955810",
pages = "203--221",
editor = "Klaus Havelund and Bill Roscoe and {de Vink}, Erik and Jan Peleska",
booktitle = "Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings",
publisher = "Springer",
address = "Germany",

}

Bacci, G, Bouyer, P, Fahrenberg, U, Larsen, KG, Markey, N & Reynier, PA 2018, Optimal and robust controller synthesis: Using energy timed automata with uncertainty. i K Havelund, B Roscoe, E de Vink & J Peleska (red), Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), bind 10951 LNCS, s. 203-221, Oxford, Storbritannien, 15/07/2018. https://doi.org/10.1007/978-3-319-95582-7_12

Optimal and robust controller synthesis : Using energy timed automata with uncertainty. / Bacci, Giovanni; Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Reynier, Pierre Alain.

Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. red. / Klaus Havelund; Bill Roscoe; Erik de Vink; Jan Peleska. Springer, 2018. s. 203-221 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10951 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - Optimal and robust controller synthesis

T2 - Using energy timed automata with uncertainty

AU - Bacci, Giovanni

AU - Bouyer, Patricia

AU - Fahrenberg, Uli

AU - Larsen, Kim Guldstrand

AU - Markey, Nicolas

AU - Reynier, Pierre Alain

PY - 2018/1/1

Y1 - 2018/1/1

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

U2 - 10.1007/978-3-319-95582-7_12

DO - 10.1007/978-3-319-95582-7_12

M3 - Article in proceeding

SN - 9783319955810

SP - 203

EP - 221

BT - Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings

A2 - Havelund, Klaus

A2 - Roscoe, Bill

A2 - de Vink, Erik

A2 - Peleska, Jan

PB - Springer

ER -

Bacci G, Bouyer P, Fahrenberg U, Larsen KG, Markey N, Reynier PA. Optimal and robust controller synthesis: Using energy timed automata with uncertainty. I Havelund K, Roscoe B, de Vink E, Peleska J, red., Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Springer. 2018. s. 203-221. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10951 LNCS). https://doi.org/10.1007/978-3-319-95582-7_12