8 papers
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…
Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems
Yun Su, Hans De Sterck, Jun Liu
Leveraging a stochastic extension of Zubov's equation, we develop a physics-informed neural network (PINN) approach for learning a neural Lyapunov function that captures the larges…
Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation
Mohamed Serry, Haoyu Li, Ruikun Zhou +2
Analysis of nonlinear autonomous systems typically involves estimating domains of attraction, which have been a topic of extensive research interest for decades. Despite that, accu…
Stability of Jordan Recurrent Neural Network Estimator
Avneet Kaur, Ruikun Zhou, Jun Liu +1
State estimation refers to determining the states of a dynamical system that starts from a noisy initial condition and evolves under process noise, based on noisy measurements and…
Data-driven optimal control of unknown nonlinear dynamical systems using the Koopman operator
Zhexuan Zeng, Ruikun Zhou, Yiming Meng +1
Nonlinear optimal control is vital for numerous applications but remains challenging for unknown systems due to the difficulties in accurately modelling dynamics and handling compu…
Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems
Ruikun Zhou, Yiming Meng, Zhexuan Zeng +1
Koopman operator theory has gained significant attention in recent years for identifying discrete-time nonlinear systems by embedding them into an infinite-dimensional linear vecto…