Guaranteed control synthesis for continuous systems in Uppaal Tiga - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2019

Guaranteed control synthesis for continuous systems in Uppaal Tiga

Kim G. Larsen
  • Fonction : Auteur
  • PersonId : 996530
Marius Mikučionis
  • Fonction : Auteur
  • PersonId : 961877
Jakob Haahr Taankvist
  • Fonction : Auteur

Résumé

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.
Fichier principal
Vignette du fichier
continuous_time_uppaal.pdf (1.15 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02076824 , version 1 (22-03-2019)

Identifiants

  • HAL Id : hal-02076824 , version 1

Citer

Kim G. Larsen, Adrien Le Coënt, Marius Mikučionis, Jakob Haahr Taankvist. Guaranteed control synthesis for continuous systems in Uppaal Tiga. 2019. ⟨hal-02076824⟩
42 Consultations
317 Téléchargements

Partager

Gmail Facebook X LinkedIn More