Tag: System Health Management (SHM)
-
04-20-2018 | Kristin Rozier: Multi-Platform, Multi-Architecture Runtime Verification for Autonomous Systems
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: NIA, Room 137 Abstract: System Health Management (SHM) is becoming critical to the deployment of a wide range of systems, including aircraft, spacecraft, satellites, and…
-
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 generation autonomous systems, including aircraft and spacecraft, are required to operate without human intervention for long periods of times in highly dynamic environments. Such systems…