28 citations · 61 across the 15 of their papers we have counts for
3 papers · 1 filter
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
Jun Liu, Yiming Meng, Maxwell Fitzsimmons +1
We provide a systematic investigation of using physics-informed neural networks to compute Lyapunov functions. We encode Lyapunov conditions as a partial differential equation (PDE…
Quantum Maps Between CPTP and HPTP
Ningping Cao, Maxwell Fitzsimmons, Zachary Mann +2
For an open quantum system to evolve under CPTP maps, assumptions are made on the initial correlations between the system and the environment. Hermitian-preserving trace-preserving…
Towards Learning and Verifying Maximal Neural Lyapunov Functions
Jun Liu, Yiming Meng, Maxwell Fitzsimmons +1
The search for Lyapunov functions is a crucial task in the analysis of nonlinear systems. In this paper, we present a physics-informed neural network (PINN) approach to learning a…