Liren Yang

37 papers B 1C 6Journal 20Unranked 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
Computing Distributed Controlled Invariant Sets for Interconnected Linear Systems With Information Structures.
IEEE Trans. Control. Netw. Syst.
Liren Yang, Lintao Ye
2026 J jnl
Enhanced verification of safety and security for advanced driver assistance systems.
Reliab. Eng. Syst. Saf.
Lu Liu, Qi Sun, Liren Yang, Yu-Chu Tian, Chunjie Zhou
2026 J jnl
Time-aware attention-based deep representation learning for multi-source longitudinal data with structured missingness in electronic medical records.
Inf. Fusion
Jiawei Luo, Liren Yang, Xixi Nie, Lan Lan, Shixin Huang, Xiaoyu Wan, Xiaobo Zhou
2025 J jnl
Review of diffusion models and its applications in biomedical informatics.
BMC Medical Informatics Decis. Mak.
Jiawei Luo, Liren Yang, Yan Liu, Changbao Hu, Grant Wang, Yan Yang, Tie-Lin Yang, Xiaobo Zhou
2024 C conf
Safe Tracking Control of Discrete-Time Nonlinear Systems Using Backward Reachable Sets.
ACC
Mohamed Serry, Liren Yang, Necmiye Ozay, Jun Liu
2024 B conf
Safety Verification of Advanced Driver Assistance Systems Using Hybrid Automaton Reachability.
SMC
Lu Liu, Qi Sun, Liren Yang, Yahui Li, Chunjie Zhou
2024 J jnl
Switched Momentum Dynamics Identification for Robot Collision Detection.
IEEE Trans. Ind. Informatics
Tan Shen, Xing Liu, Yunlong Dong, Liren Yang, Ye Yuan
2023 — conf
Determining the domain of stable human sit-to-stand motions via controlled invariant sets and backward reachability.
ECC
Daphna Raz, Liren Yang, Brian R. Umberger, Necmiye Ozay
2023 — conf
Poster Abstract: Reachability and Controlled Invariance for Human Stability during Sit-to-Stand.
HSCC
Daphna Raz, Liren Yang, Brian R. Umberger, Necmiye Ozay
2022 J jnl
Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, Necmiye Ozay
2022 J jnl
Efficient Backward Reachability using the Minkowski Difference of Constrained Zonotopes.
CoRR
Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, Necmiye Ozay
2022 J jnl
Ego-motion Estimation Based on Fusion of Images and Events.
CoRR
Liren Yang
2022 J jnl
Model Discrimination of Switched Nonlinear Systems With Temporal Logic-Constrained Switching.
IEEE Control. Syst. Lett.
Ruochen Niu, Syed M. Hassaan, Liren Yang, Zeyuan Jin, Sze Zheng Yong
2022 J jnl
Scalable Zonotopic Under-Approximation of Backward Reachable Sets for Uncertain Linear Systems.
IEEE Control. Syst. Lett.
Liren Yang, Necmiye Ozay
2021 — conf
Safety Control Synthesis for Systems with Missing Measurements.
ADHS
Liren Yang, Necmiye Ozay
2021 J jnl
Scalable Zonotopic Under-approximation of Backward Reachable Sets for Uncertain Linear Systems.
CoRR
Liren Yang, Necmiye Ozay
2021 J jnl
Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections.
CoRR
Liren Yang, Necmiye Ozay
2021 J jnl
Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections.
ACM Trans. Embed. Comput. Syst.
Liren Yang, Necmiye Ozay
2020 — conf
Efficient Safety Control Synthesis with Imperfect State Information.
CDC
Liren Yang, Necmiye Ozay
2020 J jnl
Fuel Cell Thermal Management: Modeling, Specifications, and Correct-by-Construction Control Synthesis.
IEEE Trans. Control. Syst. Technol.
Liren Yang, Amey Y. Karnik, Benjamin Pence, Md Tawhid Bin Waez, Necmiye Ozay
2020 C conf
Parameter Sensitivity Analysis of Controlled Invariant Sets via Value Iteration.
ACC
Liren Yang, Denise M. Rizzo, Matthew P. Castanier, Necmiye Ozay
2020 C conf
Scalable Computation of Controlled Invariant Sets for Discrete-Time Linear Systems with Input Delays.
ACC
Zexiang Liu, Liren Yang, Necmiye Ozay
2020 J jnl
Scalable Computation of Controlled Invariant Sets for Discrete-Time Linear Systems with Input Delays.
CoRR
Zexiang Liu, Liren Yang, Necmiye Ozay
2019 — conf
Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems: poster abstract.
HSCC
Liren Yang, Necmiye Ozay
2019 C conf
Correct-by-construction control synthesis for buck converters with event-triggered state measurement.
ACC
Liren Yang, Xiaofan Cui, Al-Thaddeus Avestruz, Necmiye Ozay
2019 J jnl
Correct-by-construction control synthesis for buck converters with event-triggered state measurement.
CoRR
Liren Yang, Xiaofan Cui, Al-Thaddeus Avestruz, Necmiye Ozay
2019 — conf
Fault Detectability Analysis of Switched Affine Systems with Linear Temporal Logic Constraints.
CDC
Liren Yang, Necmiye Ozay
2019 J jnl
On Sufficient Conditions for Mixed Monotonicity.
IEEE Trans. Autom. Control.
Liren Yang, Oscar Mickelin, Necmiye Ozay
2019 — conf
Quickly Finding Recursively Feasible Solutions for MPC with Discrete Variables.
CCTA
Liren Yang, Amey Katnik, Necmiye Ozay
2019 — conf
Tight decomposition functions for mixed monotonicity.
CDC
Liren Yang, Necmiye Ozay
2018 — conf
Fault-Tolerant Output-Feedback Path Planning with Temporal Logic Constraints.
CDC
Liren Yang, Necmiye Ozay
2018 J jnl
On sufficient conditions for mixed monotonicity.
CoRR
Liren Yang, Oscar Mickelin, Necmiye Ozay
2018 J jnl
Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Glen Chou, Yunus Emre Sahin, Liren Yang, Kwesi J. Rutledge, Petter Nilsson, Necmiye Ozay
2018 J jnl
Using control synthesis to generate corner cases: A case study on autonomous driving.
CoRR
Glen Chou, Yunus Emre Sahin, Liren Yang, Kwesi J. Rutledge, Petter Nilsson, Necmiye Ozay
2017 C conf
Fuel cell thermal management: Modeling, specifications and correct-by-construction control synthesis.
ACC
Liren Yang, Amey Y. Karnik, Benjamin Pence, Md Tawhid Bin Waez, Necmiye Ozay
2017 — conf
Provably-correct fault tolerant control with delayed information.
CDC
Liren Yang, Necmiye Ozay
2016 C conf
Synthesis of fault tolerant switching protocols for vehicle engine thermal management.
ACC
Liren Yang, Necmiye Ozay, Amey Y. Karnik