Liren Yang

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 30

Top Topics

Discrete Variables

Sufficient Conditions

Top Venues

IEEE Control. Syst. Lett.

Publications

Daphna Raz, Liren Yang, Brian R. Umberger, Necmiye Ozay
Determining the domain of stable human sit-to-stand motions via controlled invariant sets and backward reachability. ECC (2023)
Daphna Raz, Liren Yang, Brian Umberger, Necmiye Ozay
Poster Abstract: Reachability and Controlled Invariance for Human Stability during Sit-to-Stand. HSCC (2023)
Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, Necmiye Ozay
Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, Necmiye Ozay
Efficient Backward Reachability using the Minkowski Difference of Constrained Zonotopes. CoRR (2022)
Liren Yang
Ego-motion Estimation Based on Fusion of Images and Events. CoRR (2022)
Ruochen Niu, Syed M. Hassaan, Liren Yang, Zeyuan Jin, Sze Zheng Yong
Model Discrimination of Switched Nonlinear Systems With Temporal Logic-Constrained Switching. IEEE Control. Syst. Lett. 6 (2022)
Liren Yang, Necmiye Ozay
Scalable Zonotopic Under-Approximation of Backward Reachable Sets for Uncertain Linear Systems. IEEE Control. Syst. Lett. 6 (2022)
Liren Yang, Necmiye Ozay
Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections. CoRR (2021)
Liren Yang, Necmiye Ozay
Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Liren Yang, Necmiye Ozay
Safety Control Synthesis for Systems with Missing Measurements. ADHS (2021)
Liren Yang, Necmiye Ozay
Scalable Zonotopic Under-approximation of Backward Reachable Sets for Uncertain Linear Systems. CoRR (2021)
Zexiang Liu, Liren Yang, Necmiye Ozay
Scalable Computation of Controlled Invariant Sets for Discrete-Time Linear Systems with Input Delays. CoRR (2020)
Liren Yang, Amey Y. Karnik, Benjamin Pence, Md Tawhid Bin Waez, Necmiye Ozay
Fuel Cell Thermal Management: Modeling, Specifications, and Correct-by-Construction Control Synthesis. IEEE Trans. Control. Syst. Technol. 28 (5) (2020)
Zexiang Liu, Liren Yang, Necmiye Ozay
Scalable Computation of Controlled Invariant Sets for Discrete-Time Linear Systems with Input Delays. ACC (2020)
Liren Yang, Necmiye Ozay
Efficient Safety Control Synthesis with Imperfect State Information. CDC (2020)
Liren Yang, Denise M. Rizzo, Matthew P. Castanier, Necmiye Ozay
Parameter Sensitivity Analysis of Controlled Invariant Sets via Value Iteration. ACC (2020)
Liren Yang, Necmiye Ozay
Fault Detectability Analysis of Switched Affine Systems with Linear Temporal Logic Constraints. CDC (2019)
Liren Yang, Necmiye Ozay
Tight decomposition functions for mixed monotonicity. CDC (2019)
Liren Yang, Necmiye Ozay
Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems: poster abstract. HSCC (2019)
Liren Yang, Xiaofan Cui, Al-Thaddeus Avestruz, Necmiye Ozay
Correct-by-construction control synthesis for buck converters with event-triggered state measurement. ACC (2019)
Liren Yang, Oscar Mickelin, Necmiye Ozay
On Sufficient Conditions for Mixed Monotonicity. IEEE Trans. Autom. Control. 64 (12) (2019)
Liren Yang, Amey Katnik, Necmiye Ozay
Quickly Finding Recursively Feasible Solutions for MPC with Discrete Variables. CCTA (2019)
Liren Yang, Xiaofan Cui, Al-Thaddeus Avestruz, Necmiye Ozay
Correct-by-construction control synthesis for buck converters with event-triggered state measurement. CoRR (2019)
Liren Yang, Oscar Mickelin, Necmiye Ozay
On sufficient conditions for mixed monotonicity. CoRR (2018)
Liren Yang, Necmiye Ozay
Fault-Tolerant Output-Feedback Path Planning with Temporal Logic Constraints. CDC (2018)
Glen Chou, Yunus Emre Sahin, Liren Yang, Kwesi J. Rutledge, Petter Nilsson, Necmiye Ozay
Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Glen Chou, Yunus Emre Sahin, Liren Yang, Kwesi J. Rutledge, Petter Nilsson, Necmiye Ozay
Using control synthesis to generate corner cases: A case study on autonomous driving. CoRR (2018)
Liren Yang, Amey Y. Karnik, Benjamin Pence, Md Tawhid Bin Waez, Necmiye Ozay
Fuel cell thermal management: Modeling, specifications and correct-by-construction control synthesis. ACC (2017)
Liren Yang, Necmiye Ozay
Provably-correct fault tolerant control with delayed information. CDC (2017)
Liren Yang, Necmiye Ozay, Amey Y. Karnik
Synthesis of fault tolerant switching protocols for vehicle engine thermal management. ACC (2016)