Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga

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

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

5 Citationer (Scopus)

Abstrakt

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.
OriginalsprogEngelsk
TitelProceedings of International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems
RedaktørerRoger Chamberlain, Walid Taha, Martin Törngren
Antal sider21
UdgivelsesstedHeidelberg
ForlagSpringer
Publikationsdato2019
Sider113-133
ISBN (Trykt)978-3-030-23702-8
ISBN (Elektronisk)978-3-030-23703-5
DOI
StatusUdgivet - 2019
BegivenhedInternational Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems (CyPhy 2018) - Torino, Italien
Varighed: 4 okt. 20185 okt. 2018

Konference

KonferenceInternational Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems (CyPhy 2018)
Land/OmrådeItalien
ByTorino
Periode04/10/201805/10/2018
NavnLecture Notes in Computer Science
Vol/bind11615
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga'. Sammen danner de et unikt fingeraftryk.

Citationsformater