Data-Driven Models of Monotone Systems - Archive ouverte HAL
Article Dans Une Revue IEEE Transactions on Automatic Control Année : 2024

Data-Driven Models of Monotone Systems

Résumé

In this paper, we consider the problem of computing from data guaranteed set-valued overapproximations of unknown monotone functions with additive disturbances. We provide a characterization of a simulating map that provably contains all monotone functions that are consistent with the data. This map is also minimal in the sense that any set-valued map containing all consistent monotone functions would also include the map we are proposing. We show that this minimal simulating map is interval-valued and admits a simple construction on a finite partition induced by the data. As the complexity of the partition increases with the amount of data, we also consider the problem of computing minimal interval-valued simulating maps defined on partitions that are fixed a priori. We present an efficient algorithm for their computation. We then use those data-driven over-approximations to build models for partially unknown systems where the unknown part is monotone. The resulting models are used to construct finite-state symbolic abstractions, paving the way for discrete controller synthesis methods to be applied. We extend our approach to handle systems with bounded derivatives and introduce an algorithm to calculate the bounds on those derivatives and on the disturbances from the data. We present several numerical experiments to test the performance of the introduced method and show that the data-driven abstractions are suitable for controller synthesis purposes.
Fichier principal
Vignette du fichier
DataSymb.pdf (3.65 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03709123 , version 1 (29-06-2022)
hal-03709123 , version 2 (21-12-2023)

Identifiants

Citer

Anas Makdesi, Antoine Girard, Laurent Fribourg. Data-Driven Models of Monotone Systems. IEEE Transactions on Automatic Control, 2024, 69 (8), pp.5294 - 5309. ⟨10.1109/TAC.2023.3346793⟩. ⟨hal-03709123v2⟩
211 Consultations
188 Téléchargements

Altmetric

Partager

More