Maxwell Fitzsimmons
Orcid: 0000-0002-3764-4542
According to our database1,
Maxwell Fitzsimmons
authored at least 15 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
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
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification.
CoRR, 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