4 citations · 11 across the 14 of their papers we have counts for
3 papers · 1 filter
Data-driven memory-dependent abstractions of dynamical systems
Adrien Banse, Licio Romao, Alessandro Abate +1
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 th…
Black-box stability analysis of hybrid systems with sample-based multiple Lyapunov functions
Adrien Banse, Zheming Wang, Raphaël M. Jungers
We present a framework based on multiple Lyapunov functions to find probabilistic data-driven guarantees on the stability of unknown constrained switching linear systems (CSLS), wh…
Learning stability guarantees for data-driven constrained switching linear systems
Adrien Banse, Zheming Wang, Raphaël M. Jungers
We consider stability analysis of constrained switching linear systems in which the dynamics is unknown and whose switching signal is constrained by an automaton. We propose a data…