Maxwell Fitzsimmons

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 16

Top Topics

Nonlinear Systems

Lyapunov Function

Stability Analysis

Top Venues

IEEE Control. Syst. Lett.

Commun. Nonlinear Sci. Numer. Simul.

Publications

Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. HSCC (2024)
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems. CoRR (2024)
Maxwell Fitzsimmons, Jun Liu
A Neural Network Approach to Finding Global Lyapunov Functions for Homogeneous Vector Fields. IEEE Control. Syst. Lett. 8 (2024)
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. CoRR (2024)
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees. HSCC (2024)
Ruikun Zhou, Maxwell Fitzsimmons, Yiming Meng, Jun Liu
Physics-Informed Extreme Learning Machine Lyapunov Functions. IEEE Control. Syst. Lett. 8 (2024)
Yiming Meng, Ruikun Zhou, Amartya Mukherjee, Maxwell Fitzsimmons, Christopher Song, Jun Liu
Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification. CoRR (2024)
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
Towards Learning and Verifying Maximal Neural Lyapunov Functions. CDC (2023)
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification. CoRR (2023)
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
Towards Learning and Verifying Maximal Neural Lyapunov Functions. CoRR (2023)
Maxwell Fitzsimmons, Jun Liu
A note on the equivalence of a strongly convex function and its induced contractive differential equation. Autom. 142 (2022)
Yiming Meng, Yinan Li, Maxwell Fitzsimmons, Jun Liu
Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications. Autom. 144 (2022)
Jun Liu, Yiming Meng, Yinan Li, Maxwell Fitzsimmons
Smooth Converse Lyapunov-Barrier Theorems for Asymptotic Stability with Safety Constraints and Reach-Avoid-Stay Specifications. CoRR (2020)
Maxwell Fitzsimmons, Herb Kunze
Necessary/Sufficient Conditions for the Chaos Game to Render Quasi Attractors. Commun. Nonlinear Sci. Numer. Simul. 91 (2020)
Maxwell Fitzsimmons, Herb Kunze
Small and minimal attractors of an IFS. Commun. Nonlinear Sci. Numer. Simul. 85 (2020)
Maxwell Fitzsimmons, Herb Kunze
Combining Hopfield neural networks, with applications to grid-based mathematics puzzles. Neural Networks 118 (2019)