Maxwell Fitzsimmons
Orcid: 0000-0002-3764-4542
According to our database1,
Maxwell Fitzsimmons
authored at least 16 papers
between 2019 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
CoRR, June, 2025
Physics-informed neural network Lyapunov functions: PDE characterization, learning, and verification.
Autom., 2025
2024
IEEE Control. Syst. Lett., 2024
A Neural Network Approach to Finding Global Lyapunov Functions for Homogeneous Vector Fields.
IEEE Control. Syst. Lett., 2024
LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction.
CoRR, 2024
Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification.
Proceedings of the Forty-first International Conference on Machine Learning, 2024
Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees.
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024
TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction.
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024
Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems.
Proceedings of the American Control Conference, 2024
2023
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.
Autom., 2022
A note on the equivalence of a strongly convex function and its induced contractive differential equation.
Autom., 2022
2020
Commun. Nonlinear Sci. Numer. Simul., 2020
2019
Combining Hopfield neural networks, with applications to grid-based mathematics puzzles.
Neural Networks, 2019