pith. sign in

Yiming Meng

Identifiers

  • name variant Yiming Meng 0.60 · backfill

Papers (25)

  1. Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls eess.SY · 2026 · author #5
  2. Two-dimensional materials as a multiproperty sensing platform cond-mat.mes-hall · 2025 · author #11
  3. FiberKAN: Kolmogorov-Arnold Networks for Nonlinear Fiber Optics physics.optics · 2025 · author #5
  4. Koopman Spectral Analysis and System Identification for Stochastic Dynamical Systems via Yosida Approximation of Generators eess.SY · 2025 · author #2
  5. Target Prediction Under Deceptive Switching Strategies via Outlier-Robust Filtering of Partially Observed Incomplete Trajectories stat.AP · 2025 · author #1
  6. Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems eess.SY · 2024 · author #2
  7. Data-driven optimal control of unknown nonlinear dynamical systems using the Koopman operator eess.SY · 2024 · author #3
  8. Formally Verified Physics-Informed Neural Control Lyapunov Functions eess.SY · 2024 · author #4
  9. Koopman-Based Learning of Infinitesimal Generators without Operator Logarithm math.DS · 2024 · author #1
  10. LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction eess.SY · 2024 · author #2
  11. Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems eess.SY · 2024 · author #2
  12. Online Learning and Control Synthesis for Reachable Paths of Unknown Nonlinear Systems math.OC · 2024 · author #1
  13. Stochastic Control Barrier Functions with Bayesian Inference for Unknown Stochastic Differential Equations eess.SY · 2023 · author #2
  14. Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification math.OC · 2023 · author #2
  15. Learning Regions of Attraction in Unknown Dynamical Systems via Zubov-Koopman Lifting: Regularities and Convergence math.DS · 2023 · author #1
  16. Almost Sure Asymptotic Stability of Parabolic SPDEs with Small Multiplicative Noise math.DS · 2023 · author #1
  17. Towards Learning and Verifying Maximal Neural Lyapunov Functions math.OC · 2023 · author #2
  18. Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems eess.SY · 2023 · author #1
  19. Lyapunov-Barrier Characterization of Robust Reach-Avoid-Stay Specifications for Hybrid Systems math.DS · 2022 · author #1
  20. Data-Driven Learning of Safety-Critical Control with Stochastic Control Barrier Functions eess.SY · 2022 · author #2
  21. Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems math.PR · 2022 · author #1
  22. Sufficient Conditions for Robust Probabilistic Reach-Avoid-Stay Specifications using Stochastic Lyapunov-Barrier Functions math.DS · 2022 · author #1
  23. Safety-Critical Control of Stochastic Systems using Stochastic Control Barrier Functions eess.SY · 2021 · author #2
  24. Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control eess.SY · 2020 · author #3
  25. Smooth Converse Lyapunov-Barrier Theorems for Asymptotic Stability with Safety Constraints and Reach-Avoid-Stay Specifications eess.SY · 2020 · author #1

Mentions

  • 2509.08259 #11 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2403.03413 #1 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2312.09131 #2 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2504.18833 #5 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2504.13912 #2 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2504.03502 #1 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2412.02807 #2 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2412.01085 #3 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2403.15688 #1 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2409.20528 #4 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2311.15119 #1 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2403.10013 #2 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2403.10007 #2 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2312.12759 #2 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2310.19255 #1 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2303.05566 #1 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2211.00814 #1 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2203.12746 #1 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2205.11513 #2 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2205.01854 #1 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2009.04432 #1 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2104.02585 #2 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2011.10721 #3 · arxiv_oai · confidence 0.70 Yiming Meng
  • 2606.12768 #5 · arxiv_oai · confidence 0.70 Yiming Meng

Frequent Coauthors