Lu Feng

Research Overview

My research focuses on assuring the safety and trustworthiness of cyber-physical systems (CPS), which are smart systems that include co-engineered interacting networks of physical and computational components. I develop modeling and analysis methods for CPS, drawing on formal methods, machine learning, control theory, and human factors. I also work across many different application domains, from autonomous robots, to smart cities, to medical systems. Some of my research group's current projects include:

• CRII: Trust in human-autonomous vehicle interaction

• CAREER: Formal methods for human-cyber-physical systems

• Joint perception and planning for distributed agents in dynamic environments

• Formal methods and machine learning for smart cities

• Medical cyber-physical systems

Publications

See the full list of publications in my Google Scholar page.

Current Ph.D. Students

• Kayla Boggess

• Shuyang Dong

• Ingy Elsayed-Aly

• Josephine Lamp

• Erfan Pakdamanian

• Shili Sheng

Graduated Ph.D. Students

• Meiyi Ma (graduated in Aug 2021, now an Assistant Professor at the Vanderbilt University)

Sponsors

I gratefully acknowledge ongoing and past support from National Science Foundation (CCF-2131511, CCF-1942836, CNS-1739333, CRII CNS-1755784), National Institutes of Health, Office of Naval Research, Air Force Office of Scientific Research,Toyota InfoTech Labs, Assuring Autonomy International Programme, 4-VA Collaborative Research Grant, James S. McDonnell Foundation, Center for Innovative Technology, Northrop Grumman Corporation, and UVa SEAS.