Publications
Journal Papers
L. Yang, H. Zhang, J. B. Jeannin and N. Ozay, “Efficient backward reachability using the minkowski difference of constrained zonotopes”, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (ESWEEK-TCAD special issue, acceptance rate: 25.4%), 41(11): 3969-3980, November 2022.
[arXiv][DOI][BibTex]
L. Yang and N. Ozay, “Scalable zonotopic under-approximation of backward reachable sets for uncertain linear systems”, IEEE Control Systems Letters, 6: 1555-1560, October 2021.
[arXiv][DOI][BibTex]
L. Yang and N. Ozay, “Synthesis-guided adversarial scenario generation for gray-box feedback control systems with sensing imperfections”, ACM Transactions on Embedded Computing Systems (ESWEEK-TECS special issue, acceptance rate: 25.2%), 20(5s): Article 102, 25 pages, October 2021.
[arXiv][DOI][BibTex]
R. Niu, S. M. Hassaan, L. Yang, Z. Jin and S. Z. Yong, “Model Discrimination of switched nonlinear systems with temporal logic-constrained switching”, IEEE Control Systems Letters, 6: 151-156, January 2021.
[DOI][BibTex]
L. Yang, A. Karnik, B. Pence, M. T. B. Waez, and N. Ozay, “Fuel cell thermal management: Modeling, specifications and correct-by-construction control synthesis”,
IEEE Transactions on Control Systems Technology, 28(5): 1638-1651, September 2020.
[DOI][BibTex]
L. Yang, O. Mickelin, and N. Ozay, “On sufficient conditions for mixed monotonicity”, IEEE Transactions on Automatic Control, 64(12): 5080-5085, December 2019 (also see our follow-up work in CDC 2019).
[arXiv][DOI][BibTex]
G. Chou*, Y. E. Sahin*, L. Yang*, K. J. Rutledge, P. Nilsson, and N. Ozay, “Using control synthesis to generate corner cases: A case study on autonomous driving”, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (ESWEEK-TCAD special issue, acceptance rate: 25.5%), 37(11): 2906-2917, November 2018. *Equal contribution.
[arXiv][DOI][BibTex]
Preprints
Peer-reviewed Conference Papers
D. Raz, L. Yang, B. Umberger and N. Ozay, “Determining the domain of stable human sit-to-stand motions via controlled invariant sets and backward reachability”, Proc. American Control Conference (ECC), Bucharest, Romania, June 2023.
[DOI][BibTex]
L. Yang and N. Ozay, “Safety control synthesis for systems with missing measurements”, 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Brussels, Belgium, July 2021.
[DOI][BibTex]
L. Yang and N. Ozay, “Efficient safety control synthesis with imperfect information”, Proc. 59th Conference on Decision and Control (CDC), Jeju Island, South Korea, December 2020.
[DOI][BibTex]
L. Yang, D.Rizzo, M.Castanier and N. Ozay, “Parameter sensitivity analysis of controlled invariant sets via value iteration”, Proc. American Control Conference (ACC), Denver, USA, July 2020.
[DOI][BibTex]
Z. Liu, L. Yang, and N. Ozay, “Scalable computation of controlled invariant sets for discrete-time linear systems with input delays”, Proc. American Control Conference (ACC), Denver, USA, July 2020.
[DOI][BibTex]
L. Yang and N. Ozay, “Fault detectability analysis of switched affine systems with linear temporal logic constraints”, Proc. 58th IEEE Conference on Decision and Control (CDC), Nice, France, December 2019.
[DOI][BibTex]
L. Yang and N. Ozay, “Tight decomposition functions for mixed monotonicity”, Proc. 58th IEEE Conference on Decision and Control (CDC), Nice, France, December 2019.
[DOI][BibTex]
L. Yang, A, Karnik, and N. Ozay, “Quickly finding recursively feasible solutions for MPC with discrete variables”, IEEE Conference on Control Technology and Applications (CCTA), Hong Kong, China, August 2019.
[DOI][BibTex]
L. Yang, X, Cui, A. Avestruz, and N. Ozay, “Correct-by-construction control synthesis for buck converters with event-triggered state measurement”, Proc. American Control Conference (ACC), Philadelphia, USA, July 2019.
[DOI][BibTex]
L. Yang and N. Ozay, “Fault-tolerant output-feedback path planning with temporal logic constraints”, Proc. 57th IEEE Conference on Decision and Control (CDC), Miami Beach, USA, December 2018.
[DOI][BibTex]
L. Yang and N. Ozay, “Provably-correct fault-tolerant control with delayed information”, Proc. 56th IEEE Conference on Decision and Control (CDC), Melbourne, Australia, December 2017.
[DOI][BibTex]
L. Yang and N. Ozay, “Robustification and parametrization of switching controllers for a class of set invariance problems”, IFAC Wrold Congress, Toulouse, France, July 2017.
[DOI][BibTex]
L. Yang, A. Karnik, B. Pence, M. T. B. Waez, and N. Ozay, “Fuel cell thermal management: Modeling, specifications and correct-by-construction control synthesis”, Proc. American Control Conference (ACC), Seattle, USA, May 2017.
[DOI][BibTex]
L. Yang, N. Ozay, and A. Karnik, “Synthesis of fault-tolerant switching protocols for vehicle engine thermal management”, Proc. American Control Conference (ACC), Boston, USA, July 2016.
[DOI][BibTex]
Tech-reports
Thesis
|