Follow
Liren Yang
Liren Yang
School of AI & Automation, Huazhong UST
Verified email at hust.edu.cn - Homepage
Title
Cited by
Cited by
Year
On sufficient conditions for mixed monotonicity
L Yang, O Mickelin, N Ozay
IEEE Transactions on Automatic Control 64 (12), 5080-5085, 2019
522019
Using control synthesis to generate corner cases: A case study on autonomous driving
G Chou*, YE Sahin*, L Yang*, KJ Rutledge, P Nilsson, N Ozay
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
502018
Fuel Cell Thermal Management: Modeling, Specifications, and Correct-by-Construction Control Synthesis
L Yang, A Karnik, B Pence, MTB Waez, N Ozay
IEEE Transactions on Control Systems Technology 28 (5), 1638-1651, 2020
262020
Scalable Zonotopic Under-approximation of Backward Reachable Sets for Uncertain Linear Systems
L Yang, N Ozay
IEEE Control Systems Letters 6, 1555 - 1560, 2021
242021
Tight decomposition functions for mixed monotonicity
L Yang, N Ozay
Decision and Control (CDC), 2019 IEEE 58th Annual Conference on, 5318–5322, 2019
232019
Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes
L Yang, H Zhang, JB Jeannin, N Ozay
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022
162022
Scalable computation of controlled invariant sets for discrete-time linear systems with input delays
Z Liu, L Yang, N Ozay
2020 American Control Conference (ACC), 4722-4728, 2020
162020
Fault-tolerant output-feedback path planning with temporal logic constraints
L Yang, N Ozay
Decision and Control (CDC), 2018 IEEE 57th Annual Conference on, 4032-4039, 2018
132018
Model Discrimination of Switched Nonlinear Systems with Temporal Logic-Constrained Switching
R Niu, SM Hassaan, L Yang, Z Jin, SZ Yong
IEEE Control Systems Letters 6, 151-156, 2021
92021
Synthesis of fault tolerant switching protocols for vehicle engine thermal management
L Yang, N Ozay, A Karnik
2016 American Control Conference (ACC), 4213-4220, 2016
82016
Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections
L Yang, N Ozay
ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-25, 2021
62021
Fault Detectability Analysis of Switched Affine Systems with Linear Temporal Logic Constraints
L Yang, N Ozay
Decision and Control (CDC), 2019 IEEE 58th Annual Conference on, 5779-5786, 2019
62019
A note on some sufficient conditions for mixed monotone systems
L Yang, N Ozay
Department of Electrical Engineering and Computer Science, University of …, 2017
62017
Efficient Safety Control Synthesis with Imperfect State Information
L Yang, N Ozay
Decision and Control (CDC), 2020 IEEE 59th Annual Conference on, 874-880., 2020
52020
Parameter Sensitivity Analysis of Controlled Invariant Sets via Value Iteration
L Yang, D Rizzo, M Castanier, N Ozay
2020 American Control Conference (ACC), 4737-4744, 2020
52020
Provably-Correct Fault Tolerant Control with Delayed Information
L Yang, N Ozay
Decision and Control (CDC), 2017 IEEE 56th Annual Conference on, 542-549, 2017
52017
Safety Control Synthesis for Systems with Missing Measurements
L Yang, N Ozay
IFAC-PapersOnLine 54 (5), 97-102, 2021
42021
Quickly Finding Recursively Feasible Solutions for MPC with Discrete Variables
L Yang, A Karnik, N Ozay
IEEE Conference on Control Technology And Applications (CCTA), 374-381, 2019
42019
Robustification and Parametrization of Switching Controllers for a Class of Set Invariance Problems
L Yang, N Ozay
IFAC-PapersOnLine 50 (1), 1470-1477, 2017
32017
Determining the domain of stable human sit-to-stand motions via controlled invariant sets and backward reachability
D Raz, L Yang, BR Umberger, N Ozay
2023 European Control Conference (ECC), 1-7, 2023
22023
The system can't perform the operation now. Try again later.
Articles 1–20