Tag: Unmanned Aerial Vehicles (UAV)
-
11-30-2018 | Frank Dedden: Monitoring UAV Flights with Copilot
Title: “Monitoring UAV flights with Copilot” Presenter: Frank Dedden, NIA Visitor (Utrecht University) Date: Friday, November 30, 2018 Time: 11AM-Noon Location: NASA/LaRC/ Building 1230, Room 264A Sponsor: Alwyn Goodloe, NASA/LaRC Abstract: Ultra-critical systems require high level assurances that cannot always be guaranteed at compile time. The use of runtime verification (RV) allows us to monitor these systems at runtime, detect property…
-
04-25-2018 | Donald-Lear: Development of a Data Acquisition System for Unmanned Aerial Vehicle (UAV) System Identification
Title: Development of a Data Acquisition System for Unmanned Aerial Vehicle (UAV) System Identification Speaker: Donald Lear, MS, Aerospace Engineering, & Residential Expert on PX4 UAS Software, ODU Date: Wednesday, April 25, 2018 Time: 10:00am – 11:00am Location: NIA, Room 137 Abstract: Aircraft system identification techniques are developed for fixed wing Unmanned Aerial Vehicles (UAV).…
-
04-20-2018 | Alice Miller: Probabilistic Model Checking for UAV Strategy Generation
Title #1: “Probabilistic Model Checking for UAV Strategy Generation” Speaker #1: Alice Miller, Senior Lecturer, University of Glasgow (UK) Date: Friday, April 20, 2018 Time: 1:30pm Location: NIA, Room 137 Abstract: Alice will introduce probabilistic model checking with PRISM and describe how we used it to generate strategies for an Unmanned Ariel Vehicle (UAV). Specifically how…