Maxwell Fitzsimmons

Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications

Yiming Meng, Yinan Li, Maxwell Fitzsimmons et al. · Automatica · 2022 · 23 citations

Reach-avoid-stay Specifications, System Stability, Safety Constraints +5

Physics-informed neural network Lyapunov functions: PDE characterization, learning, and verification

Jun Liu, Yiming Meng, Maxwell Fitzsimmons et al. · Automatica · 2025 · 15 citations

TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction

Jun Liu, Yiming Meng, Maxwell Fitzsimmons et al. · 2024 · 14 citations

Towards Learning and Verifying Maximal Neural Lyapunov Functions

Jun Liu, Yiming Meng, Maxwell Fitzsimmons et al. · 2023 · 11 citations

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification

Yiming Meng, Ruikun Zhou, Amartya Mukherjee et al. · arXiv (Cornell University) · 2024 · 10 citations · Full text