Looking to list your PhD opportunities? Log in here.
About the Project
Autonomous robots sense the world, accept instructions in abstract form and decide what to do. They need to decide whether they accept the command or suggestions and make plans to achieve an objective. This process can be riddled by misunderstandings and also by possibly unexpected or incorrect behaviour.
The objective of this research is to do formal analysis of interpretation of messages and the decision making process of what to do and developing control software that is reliable in term of behaviour rules and achieving goals. Methods used are natural language programming (sEnglish) of robots and their model checking of a multi-agent system in an environment that is modelled as a hybrid system.
Funding Notes
We require applicants to have either an undergraduate honours degree (1st) or MSc (Merit or Distinction) in a relevant science or engineering subject from a reputable institution.
Prospective candidates for this project should have a computer science or mathematics or control engineering degree and preferably some familiarity with hybrid system modelling and programming in Java/C++/MATLAB.
Full details of how to apply can be found at the following link:
View Website
Applicants can apply for a Scholarship from the University of Sheffield but should note that competition for these Scholarships is highly competitive: View Website
Email Now
Why not add a message here
The information you submit to University of Sheffield will only be used by them or their data partners to deal with your enquiry, according to their privacy notice. For more information on how we use and store your data, please read our privacy statement.

Search suggestions
Based on your current searches we recommend the following search filters.
Check out our other PhDs in Sheffield, United Kingdom
Check out our other PhDs in United Kingdom
Start a New search with our database of over 4,000 PhDs

PhD suggestions
Based on your current search criteria we thought you might be interested in these.
Autonomous robots for computationally-guided materials discovery
University of Liverpool
Model Predictive Control for Autonomous Vehicles and Robots [Self-Funded Students Only]
Cardiff University
Deep Learning and Behaviour Science for Secure Networked Autonomous Systems PhD
Cranfield University