Lu FengAssistant Professor
University of Virginia Research OverviewMy 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:
PublicationsSee the full list of publications in my Google Scholar page. Current Ph.D. Students
Graduated Ph.D. Students
SponsorsI 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.
|