Synthesis of fault tolerant switching protocols for vehicle engine thermal management. - Liren Yang; Necmiye Ozay; Amey Y. Karnik (ACC, 2016)

Provably-correct fault tolerant control with delayed information. - Liren Yang; Necmiye Ozay (CDC, 2017)

Fault-Tolerant Output-Feedback Path Planning with Temporal Logic Constraints. - Liren Yang; Necmiye Ozay (CDC, 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)

Correct-by-construction control synthesis for buck converters with event-triggered state measurement. - Liren Yang; Xiaofan Cui; Al-Thaddeus Avestruz; Necmiye Ozay (ACC, 2019)

Quickly Finding Recursively Feasible Solutions for MPC with Discrete Variables. - Liren Yang; Amey Katnik; Necmiye Ozay (CCTA, 2019)

Tight decomposition functions for mixed monotonicity. - Liren Yang; Necmiye Ozay (CDC, 2019)

Fault Detectability Analysis of Switched Affine Systems with Linear Temporal Logic Constraints. - Liren Yang; Necmiye Ozay (CDC, 2019)

Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems: poster abstract. - Liren Yang; Necmiye Ozay (HSCC, 2019)

On Sufficient Conditions for Mixed Monotonicity. - Liren Yang; Oscar Mickelin; Necmiye Ozay (IEEE Trans. Autom. Control., 2019)

Scalable Computation of Controlled Invariant Sets for Discrete-Time Linear Systems with Input Delays. - Zexiang Liu; Liren Yang; Necmiye Ozay (ACC, 2020)

Parameter Sensitivity Analysis of Controlled Invariant Sets via Value Iteration. - Liren Yang; Denise M. Rizzo; Matthew P. Castanier; Necmiye Ozay (ACC, 2020)

Efficient Safety Control Synthesis with Imperfect State Information. - Liren Yang; Necmiye Ozay (CDC, 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)

Safety Control Synthesis for Systems with Missing Measurements. - Liren Yang; Necmiye Ozay (ADHS, 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)

Ego-motion Estimation Based on Fusion of Images and Events. - Liren Yang (CoRR, 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)

Scalable Zonotopic Under-Approximation of Backward Reachable Sets for Uncertain Linear Systems. - Liren Yang; Necmiye Ozay (IEEE Control. Syst. Lett., 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)

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 (ECC, 2023)

Poster Abstract: Reachability and Controlled Invariance for Human Stability during Sit-to-Stand. - Daphna Raz; Liren Yang; Brian R. Umberger; Necmiye Ozay (HSCC, 2023)

Safe Tracking Control of Discrete-Time Nonlinear Systems Using Backward Reachable Sets. - Mohamed Serry; Liren Yang; Necmiye Ozay; Jun Liu 015 (ACC, 2024)

Safety Verification of Advanced Driver Assistance Systems Using Hybrid Automaton Reachability. - Lu Liu; Qi Sun; Liren Yang; Yahui Li; Chunjie Zhou (SMC, 2024)

Switched Momentum Dynamics Identification for Robot Collision Detection. - Tan Shen; Xing Liu; Yunlong Dong; Liren Yang; Ye Yuan 002 (IEEE Trans. Ind. Informatics, 2024)