Yinan Li

1. Smooth Converse Lyapunov-Barrier Theorems for Asymptotic Stability with Safety Constraints and Reach-Avoid-Stay Specifications
   2020/09/09 by Yiming Meng, Meng, Yiming, Yinan Li +5 · 7 citations
   Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #FOS: Mathematics #Formal Methods in Verification #Optimization and Control (math.OC) #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Non-asymptotic Approximation Error Bounds of Parameterized Quantum Circuits
   2023/10/11 by Yu Zhan, Qiuhao Chen, Yu, Zhan +11 · 7 citations
   Computer Science · Physics and Astronomy · #FOS: Computer and information sciences #FOS: Physical sciences #Machine Learning (cs.LG) #Model Reduction and Neural Networks #Numerical Methods and Algorithms #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)
3. Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control
   2020/11/21 by Chuanzheng Wang, Yinan Li, Wang, Chuanzheng +7 · 3 citations
   Engineering · Computer Science · #Advanced Control Systems Optimization #Reinforcement Learning in Robotics #Formal Methods in Verification
4. Linear algebraic analogues of the graph isomorphism problem and the Erdős-Rényi model
   2017/08/15 by Yinan Li, Youming Qiao, Li, Yinan +1 · 1 citation
   Computer Science · #Distributed systems and fault tolerance #Complexity and Algorithms in Graphs #Cryptography and Data Security
5. The Haemers bound of noncommutative graphs
   2020/02/07 by Sander Gribling, Gribling, Sander, Yinan Li +1 · 1 citation
   Computer Science · Engineering · #Combinatorics (math.CO) #Complexity and Algorithms in Graphs #FOS: Mathematics #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph) #Wireless Communication Security Techniques
6. A Piecewise Learning Framework for Control of Unknown Nonlinear Systems with Stability Guarantees
   2022/04/05 by M. Farsi, Yinan Li, Farsi, Milad +5 · 1 citation
   Biochemistry, Genetics and Molecular Biology · Engineering · Medicine · #Receptor Mechanisms and Signaling #Fault Detection and Control Systems #Cardiac electrophysiology and arrhythmias
7. Antibacterial efficacy of recombinant phage lysin JD007-LY01 against Staphylococcus aureus in food matrices
   2026/07/27 by Yonghua Huang, Jianlong Lao, Jiafu Zhang +7
8. The relationship between changes in body weight and cognitive function in the elderly
   2026/07/28 by Yulu Zhong, Bin Guo, Yaoyao Wang +5