Liren Yang

1. Scalable Zonotopic Under-approximation of Backward Reachable Sets for Uncertain Linear Systems
   2021/07/04 by Liren Yang, Yang, Liren, Necmiye Özay +1 · 2 citations
   Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Formal Methods in Verification #Numerical Methods and Algorithms #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes
   2022/07/09 by Liren Yang, Yang, Liren, Hang Zhang +5 · 2 citations
   Computer Science · Engineering · #Advanced Control Systems Optimization #Computational Geometry (cs.CG) #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Stability and Control of Uncertain Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
3. On sufficient conditions for mixed monotonicity
   2018/03/12 by Liren Yang, Oscar Mickelin, Yang, Liren +3 · 1 citation
   Engineering · #Adaptive Control of Nonlinear Systems #Advanced Control Systems Optimization #FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Stability and Control of Uncertain Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
4. Ego-motion Estimation Based on Fusion of Images and Events
   2022/07/12 by Liren Yang, Yang, Liren · 1 citation
   Engineering · Neuroscience · #Advanced Memory and Neural Computing #CCD and CMOS Imaging Sensors #Neuroscience and Neural Engineering