arXiv · 2405.08353
Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric
Abstract
Abstractions of dynamical systems enable their verification and the design of feedback controllers using simpler, usually discrete, models. In this paper, we propose a data-driven abstraction mechanism based on a novel metric between Markov models. Our approach is based purely on observing output labels of the underlying dynamics, thus opening the road for a fully data-driven approach to construct abstractions. Another feature of the proposed approach is the use of memory to better represent the dynamics in a given region of the state space. We show through numerical examples the usefulness of the proposed methodology.
Explore related subjects
Keep this discovery
Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers. 2024-05-14. Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric. https://arxiv.org/abs/2405.08353
Cite the original work for its findings. Save a collection to share your selection of sources.