姓名：杨立仁
职称：讲师
邮箱：lirenyang@hust.edu.cn
教育经历：
2009.09 – 2013.08上海交通大学，本科
2013.09 – 2019.12密歇根大学（安娜堡），硕士
2015.09 – 2022.05密歇根大学（安娜堡），博士
研究方向：
Formal Methods for Hybrid Systems（混杂系统的形式方法）
Industrial Robots（工业机器人）
代表性论文：
1. L. Yang, H. Zhang, J. B. Jeannin and N. Ozay, “Efficient backward reachability using the minkowski difference of constrained zonot opes”, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (ESWEEK-TCAD special issue), October 2022.
2. 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.
3. 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, October 2021.
4. 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.
5. 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.
6. L. Yang, O. Mickelin, and N. Ozay, “On sufficient conditions for mixed monotonicity”, IEEE Transactions on Automatic Control, 64(12): 5080-5085, December 2019.
7. L. Yang and N. Ozay, “Tight decomposition functions for mixed monotonicity”, Proc. 58th IEEE Conference on Decision and Control (CDC), Nice, France, December 2019.
8. 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.
奖励：
入围 IEEE CSS TC-HS Outstanding Student Paper Award, Top 3, 2021
学术服务：
1. 审稿人：Automatica，NAHS，IEEE TAC， IEEE T-RO， IEEE L-CSS， CDC， ACC，CCTA，MSC，ICCPS，EMSOFT，HSCC
2. 可重复性检验程序委员（Repeatability Evaluation PC member）
24th ACM International Conference on HSCC
3. 简报程序委员（Poster PC member）
25th ACM International Conference on HSCC
