Author of the publication

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems.

, , , and . 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.

 

Other publications of authors with the same name

Combining Hopfield neural networks, with applications to grid-based mathematics puzzles., and . Neural Networks, (2019)Smooth Converse Lyapunov-Barrier Theorems for Asymptotic Stability with Safety Constraints and Reach-Avoid-Stay Specifications., , , and . CoRR, (2020)Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications., , , and . Autom., (2022)A note on the equivalence of a strongly convex function and its induced contractive differential equation., and . Autom., (2022)Towards Learning and Verifying Maximal Neural Lyapunov Functions., , , and . CDC, page 8012-8019. IEEE, (2023)Small and minimal attractors of an IFS., and . Commun. Nonlinear Sci. Numer. Simul., (2020)Necessary/Sufficient Conditions for the Chaos Game to Render Quasi Attractors., and . Commun. Nonlinear Sci. Numer. Simul., (2020)Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification., , , and . CoRR, (2023)Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems., , , and . CoRR, (2024)Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification., , , , , and . CoRR, (2024)