Interests: Model-Based Verification and Data Acquisition in Complex Embedded Systems, Coordination of Information, Automation Computation, and Sensing in both Embedded Control and Fault Diagnosis, and Robot Cooperative Control; Cross Layer Optimization in Wireless Networks
Long-Term Objective: Develop autonomous systems, in order to replace human-intensive functions in hazardous environments
Long-Term Objective: Develop autonomous systems, in order to replace human-intensive functions in hazardous environments
Research Experience
2012 – Present Research Fellow, School of Electrical and Electronic Engineering, Nanyang Technological University
- Develop scalable modeling and supervisory control technologies for material handling systems of airport terminal warehouses
- Developed efficient model-based verification algorithms for complex embedded systems with similar subsystems
- Innovated supervisory controllers to eliminate deadlock and blocking in embedded systems with similar subsystems and achieve the maximum permissiveness
2008 – 2012 Research Fellow, Department of Aerospace Engineering & Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor
- Developed formal methods to verify observational sufficiency for distributed embedded systems performing supervisory control and fault diagnosis in volatile environments
- Developed algorithms to optimally coordinate information acquisition with distributed embedded control and distributed fault diagnosis
- Mentored students studying formal methods and statistical learning, in order to model and supervise human operators in unmanned aircraft systems
- Mentored students performing hardware experiments of control algorithms, including system identification algorithms, random patrol algorithms, and target tracking algorithms
- Created algorithms to dynamically correct errors in cyber systems under malicious attack
- Invented formal-method based path planning algorithms for routing reconnaissance unmanned aerial vehicles
2003 – 2007 Graduate Student Research Assistant, Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor
- Developed algorithms for computing communication policies for networked embedded systems, upon which controllers decide to whom communicating which information
- Developed formal methods to verify observational sufficiency for supervisory control when the controller’s event-observation depends on evolving situations
- Upgraded cross-layer optimization methodology for wireless mobile networks
- Advanced algorithms for maximizing coverage in wireless sensor systems
2001 – 2002 Graduate Student Research Assistant, Department of Civil and Environmental Engineering, University of Michigan, Ann Arbor
- Probabilistically characterized extreme load risks caused by natural disasters, thereby advancing structural safety design
- Developed structure design code based on probabilistic risk assessment
1996 – 2001 Principal Investigator, Science & Technology Development Company, Zhejiang University, Hangzhou, China
— Supervised Research Projects: Dynamics of structure systems under extreme load for super bridges, traffic management systems for urban transportations, and scheduling algorithms for transportation systems
2012 – Present Research Fellow, School of Electrical and Electronic Engineering, Nanyang Technological University
- Develop scalable modeling and supervisory control technologies for material handling systems of airport terminal warehouses
- Developed efficient model-based verification algorithms for complex embedded systems with similar subsystems
- Innovated supervisory controllers to eliminate deadlock and blocking in embedded systems with similar subsystems and achieve the maximum permissiveness
2008 – 2012 Research Fellow, Department of Aerospace Engineering & Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor
- Developed formal methods to verify observational sufficiency for distributed embedded systems performing supervisory control and fault diagnosis in volatile environments
- Developed algorithms to optimally coordinate information acquisition with distributed embedded control and distributed fault diagnosis
- Mentored students studying formal methods and statistical learning, in order to model and supervise human operators in unmanned aircraft systems
- Mentored students performing hardware experiments of control algorithms, including system identification algorithms, random patrol algorithms, and target tracking algorithms
- Created algorithms to dynamically correct errors in cyber systems under malicious attack
- Invented formal-method based path planning algorithms for routing reconnaissance unmanned aerial vehicles
2003 – 2007 Graduate Student Research Assistant, Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor
- Developed algorithms for computing communication policies for networked embedded systems, upon which controllers decide to whom communicating which information
- Developed formal methods to verify observational sufficiency for supervisory control when the controller’s event-observation depends on evolving situations
- Upgraded cross-layer optimization methodology for wireless mobile networks
- Advanced algorithms for maximizing coverage in wireless sensor systems
2001 – 2002 Graduate Student Research Assistant, Department of Civil and Environmental Engineering, University of Michigan, Ann Arbor
- Probabilistically characterized extreme load risks caused by natural disasters, thereby advancing structural safety design
- Developed structure design code based on probabilistic risk assessment
1996 – 2001 Principal Investigator, Science & Technology Development Company, Zhejiang University, Hangzhou, China
— Supervised Research Projects: Dynamics of structure systems under extreme load for super bridges, traffic management systems for urban transportations, and scheduling algorithms for transportation systems