Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation

16 June 2025

Papers citing "Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation"

3 / 3 papers shown

Title
Neural Network Verification with Branch-and-Bound for General Nonlinearities Zhouxing Shi Qirui Jin Zico Kolter Suman Jana Cho-Jui Hsieh Huan Zhang 79 18 0 31 May 2024
Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation Lujie Yang Hongkai Dai Zhouxing Shi Cho-Jui Hsieh Russ Tedrake Huan Zhang 88 18 0 11 Apr 2024
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification Jun Liu Yiming Meng Maxwell Fitzsimmons Rui Zhou 60 20 0 14 Dec 2023