Office = Fitzpatrick
Fax = (574) 631-4393
Hai Lin obtained his B.S. degree at the University of Science and Technology Beijing and his M.S. degree from the Chinese Academy of Sciences in 1997 and 2000 respectively. In 2005, he received his Ph.D. degree from the University of Notre Dame. Dr. Lin is currently a full Professor at the Department of Electrical Engineering, University of Notre Dame. Before returning to his alma mater, Hai had been working as an assistant professor in the National University of Singapore from 2006 to 2011.
Dr. Lin's teaching and research interests are in the multidisciplinary study of the problems at the intersections of control, verification and learning. His current research thrust is on cyber-physical systems, multi-robot cooperative tasking, advanced manufacturing systems, human machine collaboration and formal synthesis of distributed cooperative systems.
Hai has been served in several committees and editorial board, including IEEE Transactions on Automatic Control. He is currently serving as the Chair for the IEEE CSS Technical Committee on Discrete Event Systems. He served as the Program Chair for IEEE ICCA 2011, IEEE CIS 2011 and the Chair for IEEE Systems, Man and Cybernetics Singapore Chapter for 2009 and 2010. He is a senior member of IEEE and a recipient of 2013 NSF CAREER award.
My long term research goal is to understand how complex systems work and how to build more reliable and efficient engineered complex systems, such as the next generation power grids and transportation systems. In particular, my group focuses on the formal design theory and regulation principles of complex enginneered systems that consist of a large amount of geographically distributed dynamic components and exhibit nontrivial emergent behaviors.
H. Lin and P. J. Antsaklis, "Hybrid Dynamical Systems: An Introduction to Control and Verification," Foundations and Trends in Systems and Control, vol. 1, no. 1, pp. 1‐172, Mar. 2014. doi: 10.1561/2600000001 (PDF)
H. Lin, "Mission Accomplished: An Introduction to Formal Methods in Mobile Robot Motion Planning and Control," Unmanned Systems, vol. 2, no. 2, pp. 201-216, 2014 (PDF)
NRI: INT: COLLAB: Interactive
and collaborative robot-assisted
emergency evacuations (co-PI), 2018-2022
S&AS: INT: COLLAB: Composable and Verifiable Design for
Autonomous Humanoid Robotsin Space Missions, (co-PI),
Control of Cooperative Multi-Agent Systems: Combined Top-down
and Bottom-up Design (co-PI), 2016-2019.
NSF CPS: Synergy: Resilient Wireless Sensor-Actuator Networks (co-PI), 2012-2017
CAREER: Multi-robot cooperative tasking through local
coordination design (PI),
NSF CPS: TTP Option: Synergy: Collaborative Research: Dependable Multi-Robot Cooperative Tasking in Uncertain and Dynamic Environments (PI), 2015-2018
Coordination and Control of Multi-Robot Systems: Hybrid System Approaches (PI), 2009-2012 @Singapore
Cooperative Reconfiguration Control for Multiple UAVs (PI), 2008-2011 @Singapore
Efficient Controller Synthesis for Uncertain Hybrid Systems (PI), 2006-2009 @Singapore
The Regulatory Effects of miRNAs in Glioma Cells: Systems Biology Approach (PI), 2007-2008 @Singapore
EE87040 Formal methods, Spring 2019
30344 Signals and Systems, Fall 2016 - 2019
EE87025 Hybrid Dynamical Systems, Spring 2012, 2013, 2018, Fall, 2015
EE60655 Advanced Control Systems, Spring 2015 - 2017
EE87030 Cyber-Physical Systems: Verification, Fall 2014
EE67054 Discrete Event Systems, Spring 2014
EE40455 Control Systems, Fall 2012, 2013
Matlab for EE, Spring 2008-
Ph.D. Research Assistantships are available for intelligent, creative and responsible young fellow who would like to challenge him/herself in the next four to six years by doing multidisciplinary research in the fields like cyber-physical systems, multi-robot coordination, manufacturing systems and/or systems biology.
Last modified: July