Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Automatica Année : 2022

Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications

Résumé

In this paper, we provide a lazy control synthesis algorithm for monotone transition systems and directed safety specifications. Two classes of monotone transition systems are presented: state monotone transition systems and input-state monotone transition systems. For the first class of systems, a partial order is defined only on the state space, for the second, the input space is ordered as well. The introduced lazy synthesis approach is based on the efficient computation of predecessors. It benefits not only from a monotone property of transition systems but also from the ordered structure of the state (input) space and the fact, that directed safety specifications are considered. To enrich the class of the considered specifications, we also present an incremental controller synthesis framework, which allows us to deal with intersections of upper and lower-closed safety requirements. We then compare the proposed approach with the classical safety synthesis algorithm and illustrate the advantages, in terms of run-time and memory efficiency, on an adaptive cruise control problem.
Fichier principal
Vignette du fichier
Automatica_monotone.pdf (1 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02933023 , version 1 (08-09-2020)
hal-02933023 , version 2 (30-08-2021)

Identifiants

Citer

Elena A. Ivanova, Adnane Saoud, Antoine Girard. Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications. Automatica, 2022, 135, ⟨10.1016/j.automatica.2021.109993⟩. ⟨hal-02933023v2⟩
215 Consultations
178 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More