Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Automatica Année : 2021

Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications

Antoine Girard
Alina Eqtami

Résumé

Specifications considered in symbolic control are often interpreted qualitatively and controllers are usually classified as correct if they enforce the specification or as incorrect if they do not. In practice, a given ideal specification might be impossible to meet. In that case, it is interesting for the system designer to be able to quantify the distance between achievable behaviors and the specification, and to synthesize the least-violating controller enforcing the closed-loop behavior that is the closest to a correct one. In this paper, we develop such an approach for three types of specifications: safety, uniform reachability and uniform attractivity. We define controllability measures associated to these properties. For finite transition systems, we present dynamic programming algorithms for the computation of these measures and of the associated least-violating controllers. We discuss how these results can be used to synthesize controllers for infinite transition systems via symbolic control techniques. To demonstrate the relevance of our approach, we show an application to adaptive cruise control.
Fichier principal
Vignette du fichier
paper.pdf (1.34 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02533407 , version 1 (06-04-2020)
hal-02533407 , version 2 (14-01-2021)

Identifiants

Citer

Antoine Girard, Alina Eqtami. Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications. Automatica, 2021, 127, ⟨10.1016/j.automatica.2021.109543⟩. ⟨hal-02533407v2⟩
191 Consultations
254 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More