"Synthesis of user-interfaces and reachability-based controllers for human-in-the-loop systems" Dr. Meeko Oishi, University of New Mexico Wednesday, January 25, 2017 2:00 - 3:00PM EEB 248 Abstract: Methods for the analysis and design of human-in-the-loop systems must account for interactions between the automation, the human, and the environment. We consider two problems: 1) user-interface design, and 2) reachability-based navigation in dynamic, uncertain environments. The user-interface, which provides information to the user about the underlying automation, and allows the user to issue input commands to the system, is key for enabling situational awareness and trust of the automation, yet is often designed in an ad-hoc fashion. We use sensor placement techniques to determine the optimal elements for display in the user-interface, and exploit submodularity properties to facilitate solution of the resulting combinatorial optimization problem. We additionally consider the problem of collaborative navigation in dynamic, uncertain environments. While assurances of safety are computationally intractable, solutions that exploit the forward reachable set are real-time compatible. We describe a method to compute the forward stochastic reachable set and its probability measure efficiently, that enables robust performance in difficult planning problems. Bio: Meeko Oishi is an Associate Professor of Electrical and Computer Engineering at the University of New Mexico. She received the Ph.D. (2004) and M.S. (2000) in Mechanical Engineering from Stanford University, and a B.S.E. in Mechanical Engineering from Princeton University (1998). Her research interests include nonlinear dynamical systems, hybrid control theory, control of human-in-the-loop systems, reachability analysis, and modeling of motor performance and control in Parkinson's disease. She previously held a faculty position at the University of British Columbia at Vancouver. She is the recipient of the NSF CAREER Award, the UNM Regents' Lecturer Award, the UNM Teaching Fellowship, the Peter Wall Institute Early Career Scholar Award, the Truman Postdoctoral Fellowship in National Security Science and Engineering, and the George Bienkowski Memorial Prize, Princeton University. She was a Summer Faculty Fellow at AFRL Space Vehicles Directorate 2013-2015.