Maxwell Fitzsimmons

According to our database, Maxwell Fitzsimmons authored at least 10 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

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

Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou

CoRR, 2024

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems.

Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou

CoRR, 2024

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

Yiming Meng, Ruikun Zhou, Amartya Mukherjee, Maxwell Fitzsimmons, Christopher Song, Jun Liu

CoRR, 2024

2023

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification.

Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou

CoRR, 2023

Towards Learning and Verifying Maximal Neural Lyapunov Functions.

Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

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

Yiming Meng, Yinan Li, Maxwell Fitzsimmons, Jun Liu

Autom., 2022

A note on the equivalence of a strongly convex function and its induced contractive differential equation.

Maxwell Fitzsimmons, Jun Liu

Autom., 2022

2020

Necessary/Sufficient Conditions for the Chaos Game to Render Quasi Attractors.

Maxwell Fitzsimmons, Herb Kunze

Commun. Nonlinear Sci. Numer. Simul., 2020

Small and minimal attractors of an IFS.

Maxwell Fitzsimmons, Herb Kunze

Commun. Nonlinear Sci. Numer. Simul., 2020

2019

Combining Hopfield neural networks, with applications to grid-based mathematics puzzles.

Maxwell Fitzsimmons, Herb Kunze

Neural Networks, 2019