Faculty Candidate Seminar|
Information Extraction and Decision Making in Dynamic Environments: A Hybrid Systems Approach
California Institute of Technology
Thursday, March 29, 2012|
09:00am - 10:00am
About the Event
An outstanding challenge in the design of large scale, distributed sensing, actuation and control systems is the computational complexity arising from complex interactions between different system components as well as interactions with the dynamic environment the system operates in. How can we extract actionable information sparsely encoded in sensory data streams and detect interesting events? How can we build robust cyber-physical systems that can autonomously react to these events and perform complex tasks in dynamic environments?
In the first part of the talk, I will introduce robust hybrid system identification schemes and illustrate how changes in the invariants of identified models can be used in event detection and information extraction from noisy sensory data. While in principle this approach leads to generically nonconvex, hard to solve problems, as we show, computationally tractable relaxations (and in some cases exact solutions) can be obtained. The second part of the talk focuses on design of correct-by-construction controllers for cyber-physical systems. I will present a general framework, which combines ideas from control theory and computer science, to synthesize hierarchical controllers from high level behavioral specifications. Then I will present a result on distributed synthesis that exploits the underlying network structure to reduce the computational complexity and to increase design modularity.
I will describe applications of these ideas to a diverse set of problems ranging from video and motion segmentation, contextually abnormal activity detection and distributed surveillance to vehicle management systems, and conclude with a discussion of directions for future research.
Necmiye Ozay received the B.S. degree in Electrical and Electronics Engineering from Bogazici University, Istanbul in 2004, the M.S. degree in Electrical Engineering from the Pennsylvania State University, University Park, PA in 2006 and the PhD degree in Electrical Engineering from Northeastern University, Boston, MA in 2010. Currently, she is a Control and Dynamical Systems postdoctoral scholar in the Department of Computing and Mathematical Sciences at California Institute of Technology, Pasadena, CA. Her research interests span the areas of dynamical systems, control, optimization, and formal methods with applications in system identification, verification & validation, autonomy and vision. She is the recipient of the 2008 IEEE Control Systems Society Conference on Decision and Control Best Student Paper Award and the 2009 IEEE Computer Society Biometrics Workshop Best Paper Honorable Mention Award. She is a member of the IEEE and SIAM.
Contact: Linda Scovel
Open to: Public