Efficient Data-Driven Abstraction of Monotone Systems with Disturbances - Laboratoire Méthodes Formelles Access content directly
Conference Papers Year : 2021

Efficient Data-Driven Abstraction of Monotone Systems with Disturbances

Anas Makdesi
  • Function : Author
  • PersonId : 1097770
Antoine Girard
Laurent Fribourg
  • Function : Author
  • PersonId : 1097771

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
117 View
130 Download

Altmetric

Share

Gmail Facebook X LinkedIn More