Center for Cyber-Physical Systems and Internet of Things and Ming Hsieh Institute for Electrical Engineering Joint Seminar Series on Cyber-Physical Systems
Mon, Apr 03, 2017 @ 02:00 PM - 03:30 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
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
Audiences: Everyone Is Invited
Contact: Estela Lopez