Personal tools
You are here: Home Events LFCS/CISA seminar: Alice Miller: Probabilistic model checking for UAV controller generation

LFCS/CISA seminar: Alice Miller: Probabilistic model checking for UAV controller generation

— filed under: ,

What
  • LFCS Seminar
  • Upcoming events
When Nov 21, 2017
from 02:30 PM to 03:30 PM
Where IF 4.31/4.33
Add event to calendar vCal
iCal

I will describe how the PRISM model checker was used to generate controllers for an Unmanned Ariel Vehicle (UAV), specifically to determine search strategies for a UAV trying to find objects within a grid, for a range of scenarios. Parameters and probabilities for our models were informed by simulation models developed in the School of Engineering's Micro Air Systems Technologies (MAST) Laboratory. Our generated controllers can now be used within the simulation models (and ultimately in UAV software).

This is joint work with colleagues from the Schools of Computing Science (Gethin Norman, Ruth Hoffmann and Ruben Giaquinta) and Engineering (Murray Ireland).

 

Document Actions