Search Results for author: Zheming Wang

Found 7 papers, 0 papers with code

Learning stability guarantees for constrained switching linear systems from noisy observations

no code implementations10 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.

Learning stability of partially observed switched linear systems

no code implementations19 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.

Learning Theory

Black-box stability analysis of hybrid systems with sample-based multiple Lyapunov functions

no code implementations2 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.

Learning stability guarantees for data-driven constrained switching linear systems

no code implementations2 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.

Data-driven stability analysis of switched affine systems

no code implementations23 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.

Computation of invariant sets via immersion for discrete-time nonlinear systems

no code implementations2 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.

Data-driven computation of invariant sets of discrete time-invariant black-box systems

no code implementations28 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.