Workshop: Verification and Validation of Sensing and Control Models in Autonomous Systems

Date: Friday 10th March 2017

Venue:

Great Central
Holiday Inn Royal Victoria Hotel
Station Road
Sheffield S4 7YE

Programme:

TIME

TOPIC  SPEAKER

9:30

Arrivals & Refreshments

10.25

Welcome

Sandor Veres

10.30

The role of BSI in standards for sensing and control

Stephen Cameron 

10.50

Reasoning about physical systems in Isabelle/UTP

Frank Zeyda

11.10

The role of testing in verification and certification

Kerstin Eder

11.30

Safety and productivity needs of robotic assistants in industry

Peter Osborne

11:50

Certification of autonomous UAS

Owen McAree

12:10

From world modelling and actions to logical inference

Sandor Veres

12:30

Lunch

13:30

State of the art and V&V Network activities

Michael Fisher

13:40 

Verified behaviour for long-term robot autonomy

Nick Hawes

14:00

Validation of planning domain models

Lee McCluskey

14:20

Learning and predicting how humans will move

Taku Komura 

14:40

Verification of agent decision making

Michael Fisher

15:00 

Tea/Coffee Break 

15:20

Ensuring safety standards in field robotics

Jonathan Aitken

15:40

Verification in continuous time: recent advances

Honyang QU 

16:00

Considering time in discrete control

Nir Piterman 

16:20

Open floor discussion

16:45

Close