Where: ITE 336
When: Friday March 24, 11am
Speaker: Parasara Sridhar Duggirala, UCONN CSE
Title: Data-driven Techniques for Design Analysis of Cyber-Physical Systems
Abstract: Cyber-Physical Systems (CPS) are the class of systems that interact with the physical environment and are controlled by a computer. Due to the interaction between the physical environment and software, design analysis of these systems is a challenging task. Recently, there has been a special interest in data-driven techniques in design analysis of CPS. This would involve observing a few sample behaviors of the system and predicting its behavior in other scenarios. In this talk, I will present the background about data driven design analysis techniques for Cyber-Physical Systems. Then, I will present a new scalable technique for safety verification that requires a mere n+1 sample behaviors for analyzing a system with n continuous variables.
For more information, contact: Karen Kuca at karen.kuca@uconn.edu