@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.",
keywords = "Continuous systems, Control synthesis, Euler method, Timed games",
author = "Larsen, {Kim Guldstrand} and Coent, {Adrien Camille le} and Marius Miku{\v c}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",
editor = "Roger Chamberlain and Walid Taha and Martin T{\"o}rngren",
booktitle = "Proceedings of International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems",
address = "Germany",
note = "International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems (CyPhy 2018), CyPhy 2018 ; Conference date: 04-10-2018 Through 05-10-2018",
}