Controller synthesis for safety and reachability via approximate bisimulation - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Automatica Année : 2012

Controller synthesis for safety and reachability via approximate bisimulation

Résumé

In this paper, we consider the problem of controller design using approximately bisimilar abstractions with an emphasis on safety and reachability specifications. We propose abstraction-based approaches to controller synthesis for both types of specifications. We start by synthesizing a controller for an approximately bisimilar abstraction. Then, using a concretization procedure, we obtain a controller for our initial system that is proved "correct by design". We provide guarantees of performance by giving estimates of the distance of the synthesized controller to the maximal (i.e., the most permissive) safety controller or to the time-optimal reachability controller. Finally, we use these techniques, combined with discrete approximately bisimilar abstractions of switched systems developed recently, for switching controller synthesis.

Dates et versions

hal-00765682 , version 1 (15-12-2012)

Identifiants

Citer

Antoine Girard. Controller synthesis for safety and reachability via approximate bisimulation. Automatica, 2012, 48 (5), pp.947-953. ⟨10.1016/j.automatica.2012.02.037⟩. ⟨hal-00765682⟩
124 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More