Welcome To Hai Lin's Homepage!






Hai Lin


Distributed Cooperative Systems Research (DISCOVER) Lab
Department of Electrical Engineering
University of Notre Dame
Notre Dame, IN 46556, USA



Office = Fitzpatrick Hall 265
Tel  =  (
574) 631-3177

Fax =  (574) 631-4393
Email  = 
hlin1 [a] nd.edu











General Information

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.

Detailed Curriculum Vitae

Hai Lin's Google Scholar Page




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.


Selected Publications


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. 1172, 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)


List of Publications


On-going Projects

NSF  NRI:  INT:  COLLAB:  Interactive  and  collaborative  robot-assisted  emergency  evacuations (co-PI), 2018-2022

NSF S&AS: INT: COLLAB: Composable and Verifiable Design for Autonomous Humanoid Robotsin Space Missions, (co-PI), 2017-2021.

ARO: Distributed Control of Cooperative Multi-Agent Systems: Combined Top-down and Bottom-up Design (co-PI), 2016-2019.

Completed Projects

NSF CPS: Synergy: Resilient Wireless Sensor-Actuator Networks (co-PI), 2012-2017


NSF CAREER: Multi-robot cooperative tasking through local coordination design (PI), 2013-2019

   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

EE 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


EE2013 Matlab for EE, Spring 2008- 2011 @Singapore
   MCH5003 Modeling for Mechatronic Systems, Fall 2008-2011 @Singapore





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.





ND Football

For Visitors to ND

ND Libraries


Hai Lin
Last modified: July
, 2019