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: 2018 Seminars
All 2018 Seminars
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…
04-10-2018 | Hiroaki Nishikawa: Uses of Zero and Negative Volume Elements for Node-Center Edge-Based Discretization
100th NIA CFD Seminar: Uses of Zero and Negative Volume Elements for Node-Centered Edge-Based Discretization Date: Tuesday, April 10, 2018 Time: 11am-noon (EST) Room: NIA, Rm101 Speaker: Hiroaki Nishikawa, Associate…