Title: “Anomaly and Fault Detection for Cyber-Physical Systems”
Speaker: Necmiye Ozay, Assistant Professor, Electrical Engineering & Computer Science, University of Michigan
Date: Friday, April 20, 2018
Next generation autonomous systems, including aircraft and spacecraft, are required to operate without human intervention for long periods of times in highly dynamic environments. Such systems are vulnerable to software and/or hardware failures due to unexpected internal or external factors. Moreover, small anomalies, if not detected and isolated in a timely manner, can cascade through the system resulting in catastrophic outcomes, especially in highly dynamic missions where failsafe is not an option. This signifies the need for effective methods for integrated system health management, automated data analysis for decision-making and verification and validation. In this talk, I will discuss a unified monitoring framework that combines model invalidation and fault detection approaches from the control community with run-time verification ideas from the computer science community. I will first talk about efficient techniques for anomaly and fault detection for different classes of hybrid systems, in particular those taking into account unobservable switches (i.e., hidden mode switched systems) and effects of sampling. I will then present a structural fault detection result that is useful to analyze the potential vulnerabilities of large scale systems without needing exact parameter values but just by looking into interaction structure of the system. This result is useful for informing engineering design decisions at early stages of design when the exact parameter values are not determined yet. I will finally talk about how to close the loop by fault tolerant feedback controllers that are reactive to different failure modes and robust to disturbances. I will illustrate the results with examples in autonomous cyber-physical systems.
Necmiye Ozay received a B.S. degree in Electrical and Electronics Engineering from Bogazici University, Istanbul in 2004, a M.S. degree in Electrical Engineering from the Pennsylvania State University, in 2006 and a Ph.D in Electrical Engineering from Northeastern University, in 2010. Between 2010 and 2013, she was a Control and Dynamical Systems postdoctoral scholar at the Department of Computing and Mathematical Sciences at California Institute of Technology. Currently, she is an assistant professor of Electrical Engineering and Computer Science at the University of Michigan.
Dr. Ozay has received a DARPA Young Faculty Award in 2014 and an NSF CAREER Award, a NASA Early Career Faculty Award and a DARPA Director’s Fellowship in 2016, and selected as an Outstanding Reviewer of the IEEE Transactions on Automatic Control in 2011.