Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification.

Y. Meng, R. Zhou, A. Mukherjee, M. Fitzsimmons, C. Song, and J. Liu. CoRR, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Meng Meng

Yiming Chen

Yiming Ma

Yiming Deng

Yiming Zhang

Other publications of authors with the same name

Smooth Converse Lyapunov-Barrier Theorems for Asymptotic Stability with Safety Constraints and Reach-Avoid-Stay Specifications.J. Liu, Y. Meng, Y. Li, and M. Fitzsimmons. CoRR, (2020)Hopf Bifurcations of Moore-Greitzer PDE Model with Additive Noise.Y. Meng, N. Namachchivaya, and N. Perkowski. J. Nonlinear Sci., 33 (5): 74 (October 2023)Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications.Y. Meng, Y. Li, M. Fitzsimmons, and J. Liu. Autom., (2022)Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control.C. Wang, Y. Meng, Y. Li, S. Smith, and J. Liu. ECC, page 1459-1464. IEEE, (2021)Towards Learning and Verifying Maximal Neural Lyapunov Functions.J. Liu, Y. Meng, M. Fitzsimmons, and R. Zhou. CDC, page 8012-8019. IEEE, (2023)LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction.J. Liu, Y. Meng, M. Fitzsimmons, and R. Zhou. CoRR, (2024)Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems.J. Liu, Y. Meng, M. Fitzsimmons, and R. Zhou. CoRR, (2024)Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification.Y. Meng, R. Zhou, A. Mukherjee, M. Fitzsimmons, C. Song, and J. Liu. CoRR, (2024)Sufficient Conditions for Robust Probabilistic Reach-Avoid-Stay Specifications using Stochastic Lyapunov-Barrier Functions.Y. Meng, and J. Liu. ACC, page 2283-2288. IEEE, (2022)Control of Nonlinear Systems with Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach with an Application to the Moore-Greizer Model.Y. Meng, Y. Li, and J. Liu. ACC, page 2284-2291. IEEE, (2021)

BibSonomy

Disambiguation of "Meng, Yiming"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification.

Please choose a person to relate this publication to

Meng Meng

Yiming Chen

Yiming Ma

Yiming Deng

Yiming Zhang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Meng, Yiming"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification.

Please choose a person to relate this publication to

Meng Meng

Yiming Chen

Yiming Ma

Yiming Deng

Yiming Zhang

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification.