Date(s) - 5 Feb 2014
1:10 PM - 2:00 PM
3043 ECpE Building Addition
Title: Failure Diagnosis in Stochastic Discrete-Event and Cyber-physical Systems
Speaker: Jun Chen, ECpE Graduate Student
Adviser: Ratnesh Kumar, Professor
Abstract: Many cyber-physical systems, such as building automation systems, automotive vehicles and smart power grids, can be modeled as stochastic systems with mixed continuous and discrete dynamics subject to disturbance and noise, whose behaviors are monitored and controlled by networked (digital) control systems. The talk focuses on the fault detection of cyber-physical systems. In the first part of the talk, the system is modeled as stochastic discrete-event systems (DESs) where the continuous dynamics are abstracted into discrete ones and hence the system is event-driven, where the normal behavior of a stochastic DES is specified by its sublanguage. In the second part of the talk, a comprehensive model, i.e., I/O-SHA, will be used to captured the overall system dynamics, where the normal behavior is considered to be specified by a temporal logic formula. We provide algorithms for both modeling paradigms. The work will be illustrated by practical examples.