Combining Hopfield neural networks, with applications to grid-based mathematics puzzles. - Maxwell Fitzsimmons; Herb Kunze (Neural Networks, 2019)

Small and minimal attractors of an IFS. - Maxwell Fitzsimmons; Herb Kunze (Commun. Nonlinear Sci. Numer. Simul., 2020)

Necessary/Sufficient Conditions for the Chaos Game to Render Quasi Attractors. - Maxwell Fitzsimmons; Herb Kunze (Commun. Nonlinear Sci. Numer. Simul., 2020)

A note on the equivalence of a strongly convex function and its induced contractive differential equation. - Maxwell Fitzsimmons; Jun Liu 015 (Autom., 2022)

Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications. - Yiming Meng; Yinan Li 001; Maxwell Fitzsimmons; Jun Liu 015 (Autom., 2022)

Towards Learning and Verifying Maximal Neural Lyapunov Functions. - Jun Liu 015; Yiming Meng; Maxwell Fitzsimmons; Ruikun Zhou (CDC, 2023)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems. - Jun Liu 015; Yiming Meng; Maxwell Fitzsimmons; Ruikun Zhou (ACC, 2024)

TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. - Jun Liu 015; Yiming Meng; Maxwell Fitzsimmons; Ruikun Zhou (HSCC, 2024)

Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees. - Jun Liu 015; Yiming Meng; Maxwell Fitzsimmons; Ruikun Zhou (HSCC, 2024)

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification. - Yiming Meng; Ruikun Zhou; Amartya Mukherjee; Maxwell Fitzsimmons; Christopher Song; Jun Liu 015 (ICML, 2024)

LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. - Jun Liu 015; Yiming Meng; Maxwell Fitzsimmons; Ruikun Zhou (CoRR, 2024)

Formally Verified Physics-Informed Neural Control Lyapunov Functions. - Jun Liu 015; Maxwell Fitzsimmons; Ruikun Zhou; Yiming Meng (CoRR, 2024)

A Neural Network Approach to Finding Global Lyapunov Functions for Homogeneous Vector Fields. - Maxwell Fitzsimmons; Jun Liu 015 (IEEE Control. Syst. Lett., 2024)

Physics-Informed Extreme Learning Machine Lyapunov Functions. - Ruikun Zhou; Maxwell Fitzsimmons; Yiming Meng; Jun Liu 015 (IEEE Control. Syst. Lett., 2024)

Physics-informed neural network Lyapunov functions: PDE characterization, learning, and verification. - Jun Liu 015; Yiming Meng; Maxwell Fitzsimmons; Ruikun Zhou (Autom., 2025)

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions. - Jun Liu 015; Maxwell Fitzsimmons (CoRR, 2025)