• Seminars & Events
  • Latest
  • Archive
  • RSS Feed


1 December 2016

Probabilistic and Stochastic Hybrid Automata and their Abstractions

Location: Meeting Room 10, 2nd Floor, JLB
Time: 12:30pm - 13:45pm
Speaker(s): Dr Ruth Holffmann - University of Glasgow

With the wide applicability of probabilistic and stochastic hybrid systems in the real world, it is now more important than ever to be able to verify these systems for safety and reliability. Hybrid systems can be found any where, from thermostats to processes passing messages. We will discuss the different types of hybrid systems and their discrete abstractions. The probabilistic hybrid systems we will be focusing on are autonomous unmanned aerial vehicles. The abstracted structures allow for existing quantitative and model checking tools to verify and analyse the system. BIO: Ruth Hoffmann obtained her MMath degree and PhD (in Computer Science) from the University of St Andrews. Currently, she is employed at the University of Glasgow working on the "Formal verification for autonomous vehicles" grant. She investigates the use of probabilistic and stochastic hybrid systems in the design of autonomous vehicles. Amongst her work in formal methods, Ruth is also interested in writing algorithms for graph theoretic problems and permutation pattern classes.

Save to your Calendar

Contact: mailto:luke.hutton@open.ac.uk