Title: Multi-Platform, Multi-Architecture Runtime Verification for Autonomous Systems Speaker: Kristin Yvonne Rozier, Laboratory Head for Temporal Logic in Aerospace, Iowa State University Date: Friday, April 20, 2018 Time: 10:45am Location:…
Tag: System Health Management (SHM)
04-20-2018 | Necmiye Ozay: Anomaly and Fault Detection for Cyber-Physical Systems
Title: “Anomaly and Fault Detection for Cyber-Physical Systems” Speaker: Necmiye Ozay, Assistant Professor, Electrical Engineering & Computer Science, University of Michigan Date: Friday, April 20, 2018 Time: 9:30am Abstract: Next…