Behavior Modeling in Patient-in-the-Loop Medical CPS

Abstract: Human-in-the-loop cyber-physical systems (CPS) is an active area of research.  Asthe level of autonomy in systems we use every day is rapidly increasing, the problems of human-automation interaction and of trust in technology are becoming more important.  Inmedical CPS, interactions between the human and technology happen both through behavioras well as through patient physiology.  This talk motivates the need for modeling and analysis techniques that take both behavioral and physiological interactions into consideration.  We present a case study of diabetic patients interacting with smart insulin pumps and consider how behavioral modeling and analysis can impact treatment outcomes.

Bio: Oleg Sokolsky is a Research Professor of Computer and Information Science at PRECISE Center, University of Pennsylvania.  His research interests include applications of formal methods and runtime verification to the design and analysis.  He received a Ph.D. in Computer Science from State University of New York at Stony Brook.

Hosted by Professors Paul Bogdan