Warm-Starting Fixed-Point Based Control Synthesis - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2018

Warm-Starting Fixed-Point Based Control Synthesis

Résumé

In this work we propose a patching algorithm to incrementally modify controllers, synthesized to satisfy a temporal logic formula, when some of the control actions become unavailable. The main idea of the proposed algorithm is to "warm-start" the synthesis process with an existing fixed-point based controller that has a larger action set. By exploiting the structure of the fixed-point based controllers , our algorithm avoids repeated computations while synthesizing a controller with restricted action set. Moreover, we show that the algorithm is sound and complete, that is, it provides the same guarantees as synthesizing a controller from scratch with the new action set. An example on synthesizing controllers for a simplified walking robot model under ground constraints is used to illustrate the approach. In this application, the ground constraints determine the action set and they might not be known a priori. Therefore it is of interest to quickly modify a controller synthesized for an uncon-strained surface, when new constraints are encountered. Our simulations indicate that the proposed approach provides at least 5-times speed-up compared to synthesizing a controller from scratch.
Fichier principal
Vignette du fichier
warm-starting-for-deepblue.pdf (577.56 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02397867 , version 1 (06-12-2019)

Identifiants

  • HAL Id : hal-02397867 , version 1

Citer

Zexiang Liu, Necmiye Ozay, Nicolas Perrin. Warm-Starting Fixed-Point Based Control Synthesis. [Research Report] University of Michigan-Ann Arbor; Cnrs; Sorbonne Université. 2018. ⟨hal-02397867⟩
77 Consultations
51 Téléchargements

Partager

Gmail Facebook X LinkedIn More