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 Networks for Stability Analysis and Control with Formal Guarantees.

J. Liu, Y. Meng, M. Fitzsimmons, and R. Zhou. HSCC, page 32:1-32:2. ACM, (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

Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems.Y. Meng, and J. Liu. FORMATS, volume 13465 of Lecture Notes in Computer Science, page 80-97. Springer, (2022)TOOL 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. HSCC, page 25:1-25:8. ACM, (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)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)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)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)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)

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 Networks for Stability Analysis and Control with Formal Guarantees.

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 Networks for Stability Analysis and Control with Formal Guarantees.

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 Networks for Stability Analysis and Control with Formal Guarantees.