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

• Meiyi Ma (Fall 2015 - Present, co-advise with John Stankovic)

• Erfan Pakdamanian (Fall 2017 - Present)

• Josephine Lamp (Fall 2018 - Present)

• Ingy Elsayed-Aly (Fall 2018 - Present)

• Shili Sheng (Fall 2018 - Present)

• Kayla Boggess (Fall 2019 - Present)

• Shuyang Dong (Fall 2020 - Present)

Sponsors

I gratefully acknowledge ongoing and past support from National Science Foundation (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.