Welcome
To
|
|
|
|
|
Hai Lin Professor Office = Fitzpatrick
Hall 265 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.
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. 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)
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
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.
Hai Lin
Last modified: July