no code implementations • 10 Feb 2023 • Adrien Banse, Zheming Wang, Raphaël M. Jungers
We present a data-driven framework based on Lyapunov theory to provide stability guarantees for a family of hybrid systems.
no code implementations • 19 Jan 2023 • Zheming Wang, Raphaël M. Jungers, Mihály Petreczky, Bo Chen, Li Yu
In this paper, we propose an algorithm for deciding stability of switched linear systems under arbitrary switching based purely on observed output data.
no code implementations • 2 May 2022 • Adrien Banse, Zheming Wang, Raphaël M. Jungers
More precisely, our contribution is the following: we derive a probabilistic upper bound on the CJSR of an unknown CSLS from a finite number of observations.
no code implementations • 2 May 2022 • Adrien Banse, Zheming Wang, Raphaël M. Jungers
By generalizing previous results on arbitrary switching linear systems, we show that, by sampling a finite number of observations, we are able to construct an approximate Lyapunov function for the underlying system.
no code implementations • 23 Sep 2021 • Matteo Della Rossa, Zheming Wang, Lucas N. Egidio, Raphaël M. Jungers
We consider discrete-time switching systems composed of a finite family of affine sub-dynamics.
no code implementations • 2 Oct 2020 • Zheming Wang, Raphaël M. Jungers, Chong-Jin Ong
In this paper, we propose an approach for computing invariant sets of discrete-time nonlinear systems by lifting the nonlinear dynamics into a higher dimensional linear model.
no code implementations • 28 Jul 2019 • Zheming Wang, Raphaël M. Jungers
A data-driven framework relying on the observation of trajectories is proposed to compute almost-invariant sets, which are invariant almost everywhere except a small subset.