Research Interests:
Modeling and Formal Verification of Complex Systems, Supervisory Control and Fault Diagnosis in Partially Observable Event-Driven Systems, Traffic Light Control, Coverage and Cross Layer Optimization in Wireless Sensor Networks, and Autonomous Multi-robot Systems
Long-Term Objective:
Develop autonomous systems to replace humans in tiresome and hazardous operations
Research Grants:
- Modeling and Information Acquisition and Communication in Autonomous Networked Control: $130,000, funded by National Science Foundation of China from 2014 to 2017, Principal Investigator
- Indoor Testbed for Coordinating Unmanned Vehicles: $200,000, funded by Ministry of Finance of China, 2013, Principal Investigator
Experience:
2012 - Present, Professor, School of Optical-Electrical & Computer Engineering, University of Shanghai
for Science and Technology, Shanghai, China; Research Fellow, School of Electrical & Electronic Engineering, Nanyang Technological University, Singapore
Project Title: Modeling and optimal control of urban traffic systems
- Developed traffic modeling formalism that is adaptive to changing traffic situations- Developed algorithms for coordinating traffic signals along traffic arteries to attain maximum throughput
Project Title: Design protocol for distributed systems with unlimited components
- Designed logic models for unmanned aircraft systems performing reconnaissance
- Developed most-permissive supervisory controllers to eliminate deadlock and blocking in systems with unlimited number of components
- Developed low-complexity algorithms for verifying deadlock freeness and nonblocking in isomorphic systems of unlimited module number
2008 - 2012, Research Fellow, Department of Aerospace Engineering and Department of Electrical Engineering & Computer Science, University of Michigan, Ann Arbor, US
Project Title: Michigan/AFRL cooperative center in control science
- Developed algorithms for optimizing observation processes in supervisory control and fault diagnosis of networked systems
- Mentored students studying modeling, supervisory control, and statistical learning methods for improving human performance in unmanned aircraft systems
2003 - 2007, Graduate Student Research Assistant, Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor
Project Title: Energy Efficient Wireless Networking
- Developed low-complexity algorithms to optimally schedule communications in networked control systems
- Improved cross-layer optimization methodology for wireless mobile networks
- Developed algorithms for maximizing coverage in heterogeneous wireless sensor networks
2001 - 2002, Graduate Student Research Assistant, Department of Civil and Environmental Engineering, University of Michigan, Ann Arbor
- Analyzed probability of extreme load risks caused by natural disasters to advance structure design code
1996 - 2001, Principal Investigator, Sci. & Tech. Development Company, Zhejiang University, Hangzhou, China
- Supervised Research Projects: Supervised Research Projects: Structural dynamics of super bridges under extreme wind-load, Networked data management systems for bus stations
Modeling and Formal Verification of Complex Systems, Supervisory Control and Fault Diagnosis in Partially Observable Event-Driven Systems, Traffic Light Control, Coverage and Cross Layer Optimization in Wireless Sensor Networks, and Autonomous Multi-robot Systems
Long-Term Objective:
Develop autonomous systems to replace humans in tiresome and hazardous operations
Research Grants:
- Modeling and Information Acquisition and Communication in Autonomous Networked Control: $130,000, funded by National Science Foundation of China from 2014 to 2017, Principal Investigator
- Indoor Testbed for Coordinating Unmanned Vehicles: $200,000, funded by Ministry of Finance of China, 2013, Principal Investigator
Experience:
2012 - Present, Professor, School of Optical-Electrical & Computer Engineering, University of Shanghai
for Science and Technology, Shanghai, China; Research Fellow, School of Electrical & Electronic Engineering, Nanyang Technological University, Singapore
Project Title: Modeling and optimal control of urban traffic systems
- Developed traffic modeling formalism that is adaptive to changing traffic situations- Developed algorithms for coordinating traffic signals along traffic arteries to attain maximum throughput
Project Title: Design protocol for distributed systems with unlimited components
- Designed logic models for unmanned aircraft systems performing reconnaissance
- Developed most-permissive supervisory controllers to eliminate deadlock and blocking in systems with unlimited number of components
- Developed low-complexity algorithms for verifying deadlock freeness and nonblocking in isomorphic systems of unlimited module number
2008 - 2012, Research Fellow, Department of Aerospace Engineering and Department of Electrical Engineering & Computer Science, University of Michigan, Ann Arbor, US
Project Title: Michigan/AFRL cooperative center in control science
- Developed algorithms for optimizing observation processes in supervisory control and fault diagnosis of networked systems
- Mentored students studying modeling, supervisory control, and statistical learning methods for improving human performance in unmanned aircraft systems
2003 - 2007, Graduate Student Research Assistant, Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor
Project Title: Energy Efficient Wireless Networking
- Developed low-complexity algorithms to optimally schedule communications in networked control systems
- Improved cross-layer optimization methodology for wireless mobile networks
- Developed algorithms for maximizing coverage in heterogeneous wireless sensor networks
2001 - 2002, Graduate Student Research Assistant, Department of Civil and Environmental Engineering, University of Michigan, Ann Arbor
- Analyzed probability of extreme load risks caused by natural disasters to advance structure design code
1996 - 2001, Principal Investigator, Sci. & Tech. Development Company, Zhejiang University, Hangzhou, China
- Supervised Research Projects: Supervised Research Projects: Structural dynamics of super bridges under extreme wind-load, Networked data management systems for bus stations