Maxwell Fitzsimmons

27 papers A* 1C 2Journal 20Unranked 4

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Rigorous Error Certification for Neural PDE Solvers: From Empirical Residuals to Solution Guarantees. CoRR Amartya Mukherjee, Maxwell Fitzsimmons, David C. Del Rey Fernández, Jun Liu
2026	J	`jnl`	Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation. CoRR Mohamed Serry, Maxwell Fitzsimmons, Jun Liu
2025	J	`jnl`	A Converse Control Lyapunov Theorem for Joint Safety and Stability. CoRR Thanin Quartz, Maxwell Fitzsimmons, Jun Liu
2025	J	`jnl`	Computing Control Lyapunov-Barrier Functions: Softmax Relaxation and Smooth Patching with Formal Guarantees. CoRR Jun Liu, Maxwell Fitzsimmons
2025	C	`conf`	Formally Verified Physics-Informed Neural Control Lyapunov Functions. ACC Jun Liu, Maxwell Fitzsimmons, Ruikun Zhou, Yiming Meng
2025	J	`jnl`	Physics-informed neural network Lyapunov functions: PDE characterization, learning, and verification. Autom. Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2025	—	`conf`	Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions. QEST+FORMATS Jun Liu, Maxwell Fitzsimmons
2025	J	`jnl`	Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions. CoRR Jun Liu, Maxwell Fitzsimmons
2024	J	`jnl`	A Neural Network Approach to Finding Global Lyapunov Functions for Homogeneous Vector Fields. IEEE Control. Syst. Lett. Maxwell Fitzsimmons, Jun Liu
2024	C	`conf`	Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems. ACC Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2024	J	`jnl`	Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems. CoRR Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2024	J	`jnl`	Formally Verified Physics-Informed Neural Control Lyapunov Functions. CoRR Jun Liu, Maxwell Fitzsimmons, Ruikun Zhou, Yiming Meng
2024	J	`jnl`	LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. CoRR Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2024	J	`jnl`	Physics-Informed Extreme Learning Machine Lyapunov Functions. IEEE Control. Syst. Lett. Ruikun Zhou, Maxwell Fitzsimmons, Yiming Meng, Jun Liu
2024	A*	`conf`	Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification. ICML Yiming Meng, Ruikun Zhou, Amartya Mukherjee, Maxwell Fitzsimmons, Christopher Song, Jun Liu
2024	J	`jnl`	Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification. CoRR Yiming Meng, Ruikun Zhou, Amartya Mukherjee, Maxwell Fitzsimmons, Christopher Song, Jun Liu
2024	—	`conf`	Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees. HSCC Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2024	—	`conf`	TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. HSCC Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2023	J	`jnl`	Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification. CoRR Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2023	—	`conf`	Towards Learning and Verifying Maximal Neural Lyapunov Functions. CDC Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2023	J	`jnl`	Towards Learning and Verifying Maximal Neural Lyapunov Functions. CoRR Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2022	J	`jnl`	A note on the equivalence of a strongly convex function and its induced contractive differential equation. Autom. Maxwell Fitzsimmons, Jun Liu
2022	J	`jnl`	Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications. Autom. Yiming Meng, Yinan Li, Maxwell Fitzsimmons, Jun Liu
2020	J	`jnl`	Necessary/Sufficient Conditions for the Chaos Game to Render Quasi Attractors. Commun. Nonlinear Sci. Numer. Simul. Maxwell Fitzsimmons, Herb Kunze
2020	J	`jnl`	Small and minimal attractors of an IFS. Commun. Nonlinear Sci. Numer. Simul. Maxwell Fitzsimmons, Herb Kunze
2020	J	`jnl`	Smooth Converse Lyapunov-Barrier Theorems for Asymptotic Stability with Safety Constraints and Reach-Avoid-Stay Specifications. CoRR Jun Liu, Yiming Meng, Yinan Li, Maxwell Fitzsimmons
2019	J	`jnl`	Combining Hopfield neural networks, with applications to grid-based mathematics puzzles. Neural Networks Maxwell Fitzsimmons, Herb Kunze