Efficient Data-Driven Abstraction of Monotone Systems with Disturbances - Laboratoire Méthodes Formelles
Communication Dans Un Congrès Année : 2021

Efficient Data-Driven Abstraction of Monotone Systems with Disturbances

Anas Makdesi
  • Fonction : Auteur
  • PersonId : 1097770
Antoine Girard
Laurent Fribourg
  • Fonction : Auteur
  • PersonId : 1097771

Résumé

In this paper, we present a novel approach for the abstraction of monotone systems with bounded disturbances. The approach is data-driven and uses a given set of samples of the (unknown) dynamics of the system to compute an abstraction defined on partitions of the state and input spaces. The proposed method is efficient as its computational complexity is linear in the number of samples and in the size of the partitions. Moreover, the abstraction is shown to be minimally conservative in the absence of disturbances. We show that the resulting symbolic model is itself a monotone transition system and is related to the original system by an alternating simulation relation. We present some numerical experiments to show the effectiveness of the approach and to show how the choice of the partitions or the number of samples affects the quality of the approximation.
Fichier principal
Vignette du fichier
root.pdf (384.46 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03216649 , version 1 (04-05-2021)

Identifiants

Citer

Anas Makdesi, Antoine Girard, Laurent Fribourg. Efficient Data-Driven Abstraction of Monotone Systems with Disturbances. 7th IFAC Conference on Analysis and Design of Hybrid Systems, Jul 2021, Brussels, Belgium. ⟨10.1016/j.ifacol.2021.08.473⟩. ⟨hal-03216649⟩
145 Consultations
151 Téléchargements

Altmetric

Partager

More