Maxwell Fitzsimmons

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Physics-informed neural networks for stability analysis and control with formal guarantees	2025-04-25	Paper
LyZNet: a lightweight Python tool for learning and verifying neural Lyapunov functions and regions of attraction	2025-04-25	Paper
Physics-informed neural network Lyapunov functions: PDE characterization, learning, and verification Automatica	2025-03-17	Paper
Quantum Maps Between CPTP and HPTP	2023-08-03	Paper
Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications Automatica	2022-08-23	Paper
A note on the equivalence of a strongly convex function and its induced contractive differential equation Automatica	2022-07-05	Paper
Necessary/sufficient conditions for the chaos game to render quasi attractors Communications in Nonlinear Science and Numerical Simulation	2020-12-03	Paper
Small and minimal attractors of an IFS Communications in Nonlinear Science and Numerical Simulation	2020-10-15	Paper
Addendum and corrigendum to: ``On the chaos game of iterated function systems'' Topological Methods in Nonlinear Analysis	2020-09-04	Paper
Combining Hopfield neural networks, with applications to grid-based mathematics puzzles Neural Networks	2020-06-05	Paper
A Necessary Condition on Chain Reachable Robustness of Dynamical Systems	2020-05-04	Paper

Research outcomes over time

This page was built for person: Maxwell Fitzsimmons