Fitzsimmons, Maxwell

1. Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
   2023/12/14 by Jun Liu, Yiming Meng, Liu, Jun +5 · 14 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, Yinan Li, Meng, Yiming +5 · 8 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. Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification
   2024/02/15 by Meng, Yiming, Zhou, Ruikun, Mukherjee, Amartya +3 · 5 citations
   #FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
4. LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
   2024/03/15 by Jun Liu, Liu, Jun, Yiming Meng +5 · 7 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
5. Quantum Maps Between CPTP and HPTP
   2023/08/03 by Ningping Cao, Maxwell Fitzsimmons, Cao, Ningping +7 · 1 citation
   Chemistry · Physics and Astronomy · Computer Science · #Advanced NMR Techniques and Applications #Quantum many-body systems #Quantum Computing Algorithms and Architecture
6. Towards Learning and Verifying Maximal Neural Lyapunov Functions
   2023/04/14 by Jun Liu, Liu, Jun, Yiming Meng +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