Maxwell Fitzsimmons

1. Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
   2023/12/14 by Jun Liu, Yiming Meng, Liu, Jun +5 · 13 citations
   Computer Science · Engineering · Physics and Astronomy · #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Fault Detection and Control Systems #Machine Learning (cs.LG) #Model Reduction and Neural Networks #Neural Networks and Applications #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Smooth Converse Lyapunov-Barrier Theorems for Asymptotic Stability with Safety Constraints and Reach-Avoid-Stay Specifications
   2020/09/09 by Yiming Meng, Meng, Yiming, Yinan Li +5 · 7 citations
   Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #FOS: Mathematics #Formal Methods in Verification #Optimization and Control (math.OC) #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
3. LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
   2024/03/15 by Jun Liu, Yiming Meng, Liu, Jun +5 · 6 citations
   Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Neural Networks and Applications #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
4. Quantum Maps Between CPTP and HPTP
   2023/08/03 by Ningping Cao, Cao, Ningping, Maxwell Fitzsimmons +7 · 1 citation
   Chemistry · Physics and Astronomy · Computer Science · #Advanced NMR Techniques and Applications #Quantum many-body systems #Quantum Computing Algorithms and Architecture
5. Towards Learning and Verifying Maximal Neural Lyapunov Functions
   2023/04/14 by Jun Liu, Yiming Meng, Liu, Jun +5 · 1 citation
   Computer Science · Engineering · Physics and Astronomy · #Control Systems and Identification #FOS: Electrical engineering #FOS: Mathematics #Model Reduction and Neural Networks #Neural Networks and Applications #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
6. A Globally Asymptotically Stable Planar Homogeneous Polynomial Vector Field With No Polynomial Lyapunov Function
   2026/07/17 by Jun Liu, Maxwell Fitzsimmons
   #math.DS #cs.SY #eess.SY #math.OC