Liren Yang

According to our database, Liren Yang authored at least 22 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Poster Abstract: Reachability and Controlled Invariance for Human Stability during Sit-to-Stand.

Daphna Raz, Liren Yang, Brian R. Umberger, Necmiye Ozay

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Determining the domain of stable human sit-to-stand motions via controlled invariant sets and backward reachability.

Daphna Raz, Liren Yang, Brian R. Umberger, Necmiye Ozay

Proceedings of the European Control Conference, 2023

2022

Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes.

Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, Necmiye Ozay

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Scalable Zonotopic Under-Approximation of Backward Reachable Sets for Uncertain Linear Systems.

Liren Yang, Necmiye Ozay

IEEE Control. Syst. Lett., 2022

Model Discrimination of Switched Nonlinear Systems With Temporal Logic-Constrained Switching.

Ruochen Niu, Syed M. Hassaan, Liren Yang, Zeyuan Jin, Sze Zheng Yong

IEEE Control. Syst. Lett., 2022

Ego-motion Estimation Based on Fusion of Images and Events.

Liren Yang

CoRR, 2022

2021

Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections.

Liren Yang, Necmiye Ozay

ACM Trans. Embed. Comput. Syst., 2021

Safety Control Synthesis for Systems with Missing Measurements.

Liren Yang, Necmiye Ozay

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Fuel Cell Thermal Management: Modeling, Specifications, and Correct-by-Construction Control Synthesis.

Liren Yang, Amey Y. Karnik, Benjamin Pence, Md Tawhid Bin Waez, Necmiye Ozay

IEEE Trans. Control. Syst. Technol., 2020

Efficient Safety Control Synthesis with Imperfect State Information.

Liren Yang, Necmiye Ozay

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Parameter Sensitivity Analysis of Controlled Invariant Sets via Value Iteration.

Liren Yang, Denise M. Rizzo, Matthew P. Castanier, Necmiye Ozay

Proceedings of the 2020 American Control Conference, 2020

Scalable Computation of Controlled Invariant Sets for Discrete-Time Linear Systems with Input Delays.

Zexiang Liu, Liren Yang, Necmiye Ozay

Proceedings of the 2020 American Control Conference, 2020

2019

On Sufficient Conditions for Mixed Monotonicity.

Liren Yang, Oscar Mickelin, Necmiye Ozay

IEEE Trans. Autom. Control., 2019

Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems: poster abstract.

Liren Yang, Necmiye Ozay

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Fault Detectability Analysis of Switched Affine Systems with Linear Temporal Logic Constraints.

Liren Yang, Necmiye Ozay

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Tight decomposition functions for mixed monotonicity.

Liren Yang, Necmiye Ozay

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Quickly Finding Recursively Feasible Solutions for MPC with Discrete Variables.

Liren Yang, Amey Katnik, Necmiye Ozay

Proceedings of the 2019 IEEE Conference on Control Technology and Applications, 2019

Correct-by-construction control synthesis for buck converters with event-triggered state measurement.

Liren Yang, Xiaofan Cui, Al-Thaddeus Avestruz, Necmiye Ozay

Proceedings of the 2019 American Control Conference, 2019

2018

Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving.

Glen Chou, Yunus Emre Sahin, Liren Yang, Kwesi J. Rutledge, Petter Nilsson, Necmiye Ozay

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Fault-Tolerant Output-Feedback Path Planning with Temporal Logic Constraints.

Liren Yang, Necmiye Ozay

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Provably-correct fault tolerant control with delayed information.

Liren Yang, Necmiye Ozay

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Synthesis of fault tolerant switching protocols for vehicle engine thermal management.

Liren Yang, Necmiye Ozay, Amey Y. Karnik

Proceedings of the 2016 American Control Conference, 2016