Skip to content Skip to navigation

Applied Math Seminar: Formal methods for optimal design of human-in-the-loop cyber-physical systems

Event Type: 
Seminar
Speaker: 
Meeko Oishi, Associate Professor of Electrical and Computer Engineering at the University of New Mexico
Event Date: 
Monday, September 12, 2016 - 3:30pm
Location: 
SMLC 356
Sponsor/s: 
Helen J. Wearing

Event Description: 

Abstract

In many cyber-physical systems, human interaction with coupled cyber and physical components can significantly complicate system safety and performance.  We consider two problems in human-in-the-loop CPS: 1) user-interface design, and 2) controller synthesis for probabilistic safety. 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 pose the problem of safety verification for human-in-the-loop CPS as one of stochastic reachability. We also describe a method to compute the forward stochastic reachable set efficiently, with application to problems in collaborative navigation and pursuit.
 

Refreshments will be served in the lounge at 3:00.