• Carlos III Health Institute Featured PhD Programmes
  • University of Leeds Featured PhD Programmes
  • University of Bristol Featured PhD Programmes
  • University of Leeds Featured PhD Programmes
  • University of Glasgow Featured PhD Programmes
  • University of Cambridge Featured PhD Programmes
  • University of Mannheim Featured PhD Programmes
  • London School of Economics and Political Science Featured PhD Programmes
Ludwig-Maximilians-Universität Munich Featured PhD Programmes
King Abdullah University of Science and Technology (KAUST) Featured PhD Programmes
Imperial College London Featured PhD Programmes
University of Bristol Featured PhD Programmes
National University of Singapore Featured PhD Programmes

Reliable Response and Behaviour of Autonomous Robots

This project is no longer listed in the FindAPhD
database and may not be available.

Click here to search the FindAPhD database
for PhD studentship opportunities
  • Full or part time
    Prof Veres
  • Application Deadline
    Applications accepted all year round
  • Competition Funded PhD Project (Students Worldwide)
    Competition Funded PhD Project (Students Worldwide)

Project Description

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 modeled as a hybrid system.

Prospective applicants 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.

Funding Notes

Applicants can apply for a Scholarship from the University of Sheffield but should note that competition for these Scholarships is highly competitive. it will be possible to make Scholarship applications from the Autumn with a strict deadline in late January/early February. Specific information will appear: http://www.sheffield.ac.uk/acse/research-degrees/scholarships

How good is research at University of Sheffield in General Engineering?

FTE Category A staff submitted: 21.80

Research output data provided by the Research Excellence Framework (REF)

Click here to see the results for all UK universities
Share this page:

Cookie Policy    X