On sufficient conditions for mixed monotonicity L Yang, O Mickelin, N Ozay IEEE Transactions on Automatic Control 64 (12), 5080-5085, 2019 | 52 | 2019 |
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 | 50 | 2018 |
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 | 26 | 2020 |
Scalable Zonotopic Under-approximation of Backward Reachable Sets for Uncertain Linear Systems L Yang, N Ozay IEEE Control Systems Letters 6, 1555 - 1560, 2021 | 24 | 2021 |
Tight decomposition functions for mixed monotonicity L Yang, N Ozay Decision and Control (CDC), 2019 IEEE 58th Annual Conference on, 5318–5322, 2019 | 23 | 2019 |
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 | 16 | 2022 |
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 | 16 | 2020 |
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 | 13 | 2018 |
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 | 9 | 2021 |
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 | 8 | 2016 |
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 | 6 | 2021 |
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 | 6 | 2019 |
A note on some sufficient conditions for mixed monotone systems L Yang, N Ozay Department of Electrical Engineering and Computer Science, University of …, 2017 | 6 | 2017 |
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 | 5 | 2020 |
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 | 5 | 2020 |
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 | 5 | 2017 |
Safety Control Synthesis for Systems with Missing Measurements L Yang, N Ozay IFAC-PapersOnLine 54 (5), 97-102, 2021 | 4 | 2021 |
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 | 4 | 2019 |
Robustification and Parametrization of Switching Controllers for a Class of Set Invariance Problems L Yang, N Ozay IFAC-PapersOnLine 50 (1), 1470-1477, 2017 | 3 | 2017 |
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 | 2 | 2023 |