Probabilistic model checking for UAV strategy generation

VCLA hosted a talk by Alice Miller

ABSTRACT

Alice Miller will give a brief introduction to some modelling projects that she has been involved in over the years. In particular she will describe how the PRISM model checker was used to generate search strategies for an Unmanned Ariel Vehicle (UAV), for a range of scenarios. Parameters and probabilities for their models were informed by simulation models developed in the School of Engineering's Micro Air Systems Technologies (MAST) Laboratory. Their generated controllers can now be used within the simulation models (and ultimately in UAV software). She will also describe how symmetry can be used to extend their approach to larger search areas.

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

CONTACT

Laura Kovacs

Alice Miller, University of Glasgow