Events Calendar

Center for Cyber-Physical Systems and Internet of Things and Ming Hsieh Institute for Electrical Engineering Joint Seminar Series on Cyber-Physical Systems

Speaker: Oleg Sokolsky, Research Professor, University of Pennsylvania

Talk Title: Behavior Modeling in Patient-in-the-Loop Medical CPS

Abstract: Human-in-the-loop cyber-physical systems (CPS) is an active area of research. As the 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. In medical CPS, interactions between the human and technology happen both through behavior as 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.

Biography: 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.

Host: Paul Bogdan and Chao Wang

Location: Hughes Aircraft Electrical Engineering Center (EEB) - 132

Audiences: Everyone Is Invited

Contact: Estela Lopez