pith. sign in

Maxwell Fitzsimmons

Identifiers

  • name variant Maxwell Fitzsimmons 0.60 · backfill

Papers (11)

  1. Rigorous Error Certification for Neural PDE Solvers: From Empirical Residuals to Solution Guarantees cs.LG · 2026 · author #2
  2. A Converse Control Lyapunov Theorem for Joint Safety and Stability math.OC · 2025 · author #2
  3. Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions eess.SY · 2025 · author #2
  4. Formally Verified Physics-Informed Neural Control Lyapunov Functions eess.SY · 2024 · author #2
  5. LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction eess.SY · 2024 · author #3
  6. Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems eess.SY · 2024 · author #3
  7. Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification math.OC · 2023 · author #3
  8. Quantum Maps Between CPTP and HPTP quant-ph · 2023 · author #2
  9. Towards Learning and Verifying Maximal Neural Lyapunov Functions math.OC · 2023 · author #3
  10. Smooth Converse Lyapunov-Barrier Theorems for Asymptotic Stability with Safety Constraints and Reach-Avoid-Stay Specifications eess.SY · 2020 · author #3
  11. A Necessary Condition on Chain Reachable Robustness of Dynamical Systems math.OC · 2020 · author #1

Mentions

  • 2506.18171 #2 · arxiv_oai · confidence 0.70 Maxwell Fitzsimmons
  • 2312.09131 #3 · arxiv_oai · confidence 0.70 Maxwell Fitzsimmons
  • 2409.20528 #2 · arxiv_oai · confidence 0.70 Maxwell Fitzsimmons
  • 2403.10013 #3 · arxiv_oai · confidence 0.70 Maxwell Fitzsimmons
  • 2403.10007 #3 · arxiv_oai · confidence 0.70 Maxwell Fitzsimmons
  • 2308.01894 #2 · arxiv_oai · confidence 0.70 Maxwell Fitzsimmons
  • 2009.04432 #3 · arxiv_oai · confidence 0.70 Maxwell Fitzsimmons
  • 2005.01570 #1 · arxiv_oai · confidence 0.70 Maxwell Fitzsimmons
  • 2603.19165 #2 · arxiv_oai · confidence 0.70 Maxwell Fitzsimmons
  • 2509.12182 #2 · arxiv_oai · confidence 0.70 Maxwell Fitzsimmons

Frequent Coauthors