Our research focuses on providing assurances of safety and optimality in autonomous cyber-physical systems, despite uncertainty in the environment and in human interaction with the autonomous system. We seek to make autonomous systems truly human-centric, in a manner that can accommodate the heterogeneity and variability of humans, without sacrificing reliability or performance.
Design of autonomous cyber-physical systems to be highly responsive to human cognitive state, through psychophysiological sensing, learning, and control.
Creating future aviation systems with safe, trustworthy machine learning in the loop.
Next-generation electric power production and delivery through creation of a SMART electric grid (one that is Sustainable, Modular, Adaptive, Resilient, and Transactive).
Algorithms to enable verification of on-board learning based control.
Control framework for autonomous systems that accommodates the inevitable unpredictability of human actions, as well as the effects on human decision- making of uncertainty in the dynamics and action of the system.