Data-Driven Computational Methods for the Domain of Attraction and Zubov's Equation

29 December 2021

Papers citing "Data-Driven Computational Methods for the Domain of Attraction and Zubov's Equation"

5 / 5 papers shown

Title
Formally Verified Physics-Informed Neural Control Lyapunov Functions Jun Liu Maxwell Fitzsimmons Ruikun Zhou Yiming Meng 29 2 0 30 Sep 2024
LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction Jun Liu Yiming Meng Maxwell Fitzsimmons Rui Zhou 32 16 0 15 Mar 2024
Actor-Critic Physics-informed Neural Lyapunov Control Jiarui Wang Mahyar Fazlyab 30 4 0 13 Mar 2024
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification Jun Liu Yiming Meng Maxwell Fitzsimmons Rui Zhou 23 16 0 14 Dec 2023
Convolutional LSTM Network: A Machine Learning Approach for Precipitation Nowcasting Xingjian Shi Zhourong Chen Hao Wang Dit-Yan Yeung W. Wong W. Woo 227 7,903 0 13 Jun 2015