Towards the Verification and Certification of Autonomous Assistive RobotsIn December 2009 I visited BRL and, to cut a long story short, this single visit gave rise to a new research initiative focused on understanding the verification and certification needs arising out of the latest developments in Autonomous Assistive Robots. My aim is to develop design and verification techniques as well as overall methodologies leading to certification to push the state of the art in this area. Our first projects address this issue in the context of Human-Robot Interaction. All projects are in collaboration with Tony Pipe and Chris Melhuish at BRL.
Research ProjectsInitially it is my aim to conduct a series of case studies and pilot project with associated publications. This builds up a strong track record to underpin a research grant proposal to undertake more fundamental research with the aim to address longer term aims and objectives.
Below is a list of student projects (MSc or MEng level) that are currently running or have been completed including a link to further details on each project where these are available.
- MSc Machine Learning Project 2011-12 "Safety versus Adaptation: Reinforcement-Learning and Human-Robot-Interaction", Blaine Williams
- MSc Machine Learning Project 2011-12 "Adaptive Control Systems for Verifiably Correct Human-Robot Interaction", Khurram Ghani
- Summer Project 2010 "I Robot...and beyond", published at TAROS 2011: "Towards Safe Human-Robot Interaction", Corina Grigore