arXiv · 2212.01926
Data-driven memory-dependent abstractions of dynamical systems
Abstract
We propose a sample-based, sequential method to abstract a (potentially black-box) dynamical system with a sequence of memory-dependent Markov chains of increasing size. We show that this approximation allows to alleviating a correlation bias that has been observed in sample-based abstractions. We further propose a methodology to detect on the fly the memory length resulting in an abstraction with sufficient accuracy. We prove that under reasonable assumptions, the method converges to a sound abstraction in some precise sense, and we showcase it on two case studies.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers. 2022-12-04. Data-driven memory-dependent abstractions of dynamical systems. https://arxiv.org/abs/2212.01926
Cite the original work for its findings. Save a collection to share your selection of sources.