Yiming Meng
Papers
2
Total Citations
31
H-Index
2
About
Yiming Meng is a control theorist whose research sits at the intersection of formal verification, safety-critical systems, and Lyapunov-based stability analysis. His work addresses one of the most pressing challenges in modern control theory: ensuring that dynamical systems not only converge to desired operating points but do so while rigorously respecting safety constraints. Meng's most recognized contribution centers on the development of smooth converse Lyapunov-barrier theorems, which provide a unified mathematical framework for characterizing asymptotic stability alongside safety guarantees — a synthesis that had previously lacked rigorous theoretical grounding. By extending classical Lyapunov theory to incorporate barrier functions, his work elegantly handles reach-avoid-stay specifications, enabling controllers to navigate complex state-space constraints with provable correctness. His 2022 paper on this topic has accumulated 25 citations, reflecting growing interest from the safety-critical control and autonomous systems communities. Through these contributions, Meng has helped bridge the gap between abstract Lyapunov theory and practical control design for systems where failure is not an option, making his work particularly relevant to researchers working on robotics, autonomous vehicles, and other safety-sensitive applications.
Research Focus
Key Achievements
Top Papers
- 1
- 2