Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga

Kim Guldstrand Larsen, Adrien Camille le Coent, Marius Mikučionis, Jakob Haahr Taankvist

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Abstract

We present a method for synthesising control strategies for continuous dynamical systems. We use Uppaal Tiga for the synthesis in combination with a set-based Euler method for guaranteeing that the synthesis is safe. We present both a general method and a method which provides tighter bounds for monotone systems. As a case-study, we synthesize a guaranteed safe strategy for a simplified adaptive cruise control application. We show that the guaranteed strategy is only slightly more conservative than the strategy generated in the original adaptive cruise control paper which uses a discrete non guaranteed strategy. Also, we show how reinforcement learning may be used to obtain optimal sub-strategies.
Original languageEnglish
Title of host publicationProceedings of International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems
Place of PublicationHeidelberg
PublisherSpringer
Publication date2019
Pages113-133
ISBN (Print)978-3-030-23702-8
ISBN (Electronic)978-3-030-23703-5
DOIs
Publication statusPublished - 2019
EventInternational Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems (CyPhy 2018) - Torino, Italy
Duration: 4 Oct 20185 Oct 2018

Conference

ConferenceInternational Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems (CyPhy 2018)
CountryItaly
CityTorino
Period04/10/201805/10/2018
SeriesLecture Notes in Computer Science
Volume11615
ISSN0302-9743

Fingerprint

Adaptive cruise control
Reinforcement learning
Dynamical systems

Cite this

Larsen, K. G., Coent, A. C. L., Mikučionis, M., & Taankvist, J. H. (2019). Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga. In Proceedings of International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems (pp. 113-133). Heidelberg: Springer. Lecture Notes in Computer Science, Vol.. 11615 https://doi.org/10.1007/978-3-030-23703-5_6
Larsen, Kim Guldstrand ; Coent, Adrien Camille le ; Mikučionis, Marius ; Taankvist, Jakob Haahr. / Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga. Proceedings of International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems. Heidelberg : Springer, 2019. pp. 113-133 (Lecture Notes in Computer Science, Vol. 11615).
@inproceedings{63255afae3e04c888302134d0caf7662,
title = "Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga",
abstract = "We present a method for synthesising control strategies for continuous dynamical systems. We use Uppaal Tiga for the synthesis in combination with a set-based Euler method for guaranteeing that the synthesis is safe. We present both a general method and a method which provides tighter bounds for monotone systems. As a case-study, we synthesize a guaranteed safe strategy for a simplified adaptive cruise control application. We show that the guaranteed strategy is only slightly more conservative than the strategy generated in the original adaptive cruise control paper which uses a discrete non guaranteed strategy. Also, we show how reinforcement learning may be used to obtain optimal sub-strategies.",
author = "Larsen, {Kim Guldstrand} and Coent, {Adrien Camille le} and Marius Mikučionis and Taankvist, {Jakob Haahr}",
year = "2019",
doi = "10.1007/978-3-030-23703-5_6",
language = "English",
isbn = "978-3-030-23702-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "113--133",
booktitle = "Proceedings of International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems",
address = "Germany",

}

Larsen, KG, Coent, ACL, Mikučionis, M & Taankvist, JH 2019, Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga. in Proceedings of International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems. Springer, Heidelberg, Lecture Notes in Computer Science, vol. 11615, pp. 113-133, International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems (CyPhy 2018), Torino, Italy, 04/10/2018. https://doi.org/10.1007/978-3-030-23703-5_6

Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga. / Larsen, Kim Guldstrand; Coent, Adrien Camille le; Mikučionis, Marius; Taankvist, Jakob Haahr.

Proceedings of International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems. Heidelberg : Springer, 2019. p. 113-133 (Lecture Notes in Computer Science, Vol. 11615).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

TY - GEN

T1 - Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga

AU - Larsen, Kim Guldstrand

AU - Coent, Adrien Camille le

AU - Mikučionis, Marius

AU - Taankvist, Jakob Haahr

PY - 2019

Y1 - 2019

N2 - We present a method for synthesising control strategies for continuous dynamical systems. We use Uppaal Tiga for the synthesis in combination with a set-based Euler method for guaranteeing that the synthesis is safe. We present both a general method and a method which provides tighter bounds for monotone systems. As a case-study, we synthesize a guaranteed safe strategy for a simplified adaptive cruise control application. We show that the guaranteed strategy is only slightly more conservative than the strategy generated in the original adaptive cruise control paper which uses a discrete non guaranteed strategy. Also, we show how reinforcement learning may be used to obtain optimal sub-strategies.

AB - We present a method for synthesising control strategies for continuous dynamical systems. We use Uppaal Tiga for the synthesis in combination with a set-based Euler method for guaranteeing that the synthesis is safe. We present both a general method and a method which provides tighter bounds for monotone systems. As a case-study, we synthesize a guaranteed safe strategy for a simplified adaptive cruise control application. We show that the guaranteed strategy is only slightly more conservative than the strategy generated in the original adaptive cruise control paper which uses a discrete non guaranteed strategy. Also, we show how reinforcement learning may be used to obtain optimal sub-strategies.

U2 - 10.1007/978-3-030-23703-5_6

DO - 10.1007/978-3-030-23703-5_6

M3 - Article in proceeding

SN - 978-3-030-23702-8

T3 - Lecture Notes in Computer Science

SP - 113

EP - 133

BT - Proceedings of International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems

PB - Springer

CY - Heidelberg

ER -

Larsen KG, Coent ACL, Mikučionis M, Taankvist JH. Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga. In Proceedings of International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems. Heidelberg: Springer. 2019. p. 113-133. (Lecture Notes in Computer Science, Vol. 11615). https://doi.org/10.1007/978-3-030-23703-5_6