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

7 Citations (Scopus)

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
EditorsRoger Chamberlain, Walid Taha, Martin Törngren
Number of pages21
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)
Country/TerritoryItaly
CityTorino
Period04/10/201805/10/2018
SeriesLecture Notes in Computer Science
Volume11615
ISSN0302-9743

Keywords

  • Continuous systems
  • Control synthesis
  • Euler method
  • Timed games

Fingerprint

Dive into the research topics of 'Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga'. Together they form a unique fingerprint.

Cite this