5 papers · 1 filter
Characterization of Safe Stabilization and Control Lyapunov-Barrier Functions via Zubov Equation Formulation
Yiming Meng, Jun Liu
Design and analysis of stabilizing controllers with safety guarantees for nonlinear systems have received considerable attention in recent years. Control Lyapunov-barrier functions…
Towards Learning and Verifying Maximal Lyapunov-Barrier Functions with a Zubov PDE Formulation
Yiming Meng, Jun Liu
Verifying stability and safety guarantees for nonlinear systems has received considerable attention in recent years. This property serves as a fundamental building block for specif…
Resolvent-Type Data-Driven Learning of Generators for Unknown Continuous-Time Dynamical Systems
Yiming Meng, Ruikun Zhou, Melkior Ornik +1
A semigroup characterization, or equivalently, a characterization by the generator, is a classical technique used to describe continuous-time nonlinear dynamical systems. In the re…
Koopman-Based Learning of Infinitesimal Generators without Operator Logarithm
Yiming Meng, Ruikun Zhou, Melkior Ornik +1
The Koopman operator has gained significant attention in recent years for its ability to verify evolutionary properties of continuous-time nonlinear systems by lifting state variab…
Learning Regions of Attraction in Unknown Dynamical Systems via Zubov-Koopman Lifting: Regularities and Convergence
Yiming Meng, Ruikun Zhou, Jun Liu
The estimation for the region of attraction (ROA) of an asymptotically stable equilibrium point is crucial in the analysis of nonlinear systems. There has been a recent surge of in…