PhD Studentship: Model-based and Data-driven Controller Synthesis for Hybrid Systems

Updated: almost 3 years ago
Location: Newcastle upon Tyne, ENGLAND
Job Type: FullTime
Deadline: 31 Aug 2021

Value of award

100% of tuition fees (Home or International) and an annual stipend of £15,609 (full award).

Number of awards: 1

Start date and duration: September 2021 for 3.5 years.

Application closing date

31st August 2021, the initial screening will be on 31 July 2021, but the studentship will be open until finding the most competent candidate.

Overview

Research on the EPSRC project ‘CodeCPS : Correct-by-Design Estimation and Control of Cyber-Physical Systems’. The main aim of the project is to advance the theoretical foundations of correct-by-design controller synthesis for hybrid/stochastic systems. The developed methodologies will be founded on mathematical models of dynamical systems and provide guarantees on the correctness of the controller. Possible application domains for the results include autonomous vehicles and frequency regulation of smart grids.

The role of the post holder is to work on one of the following topics:

  • Synthesising controllers that are correct by design, have incomplete state information and are robust to model uncertainty.
  • Develop AI planning and machine learning methods with formal guarantees (e.g., convergence or sample complexity) for controller synthesis.
  • Synthesising controllers applicable to systems with large number of components and state variables using assume-guarantee reasoning.
  • Implement the new approaches as a set of software design tools which support the construction, integration, safety and performance analysis of the system.
  • This studentship provides a unique opportunity to perform interdisciplinary, high-impact research within a group of interdisciplinary researchers. The successful candidate will join the HyCoDev Lab , possible collaboration with CESI centre  on energy applications and ICOS group .

    The School of Computing , including the AMBER group, has recently moved in a new, state-of-the-art, £58 million building which is highly sensorised and a unique research facility.

    Sponsor

    School of Computing , Newcastle University

    Name of supervisor(s)

    Dr. Sadegh Soudjani , School of Computing Science

    Eligibility Criteria

    The successful candidate should have an excellent first-class degree in, e.g., control theory, mathematics, computer science or engineering. The candidate is expected to have a strong background in one of the three areas (control theory, computer science, probability theory) and wish to gain knowledge on the other areas. This studentship is open to both Home and International applicants.

    How to apply

    Please contact Dr. Sadegh Soudjani at [email protected]  before making a application. You should include all application documents and write “[CodeCPS-PhD]” in the subject of your email. Suitable candidates will be invited to make an official application in the online portal.

    To make an application please go to the postgraduate application portal  and click ‘create an account’.

    All relevant fields should be completed, but fields marked with a red asterisk must be completed. The following information will help us to process your application. You will need to:

    • Insert the programme code 8050F in the programme of study section
    • Select ‘PhD Computer Science (full time) – Computer Science’ as the programme of study
    • Insert the studentship code COMP2112 in the studentship/partnership reference field
    • Attach a covering letter and CV. The covering letter must state the title of the studentship, quote reference code COMP2112 and state how your interests and experience relate to the project
    • Attach degree transcripts and certificates and, if English is not your first language, a copy of your English language qualifications.

    Contact

    Please contact Dr. Sadegh Soudjani  at [email protected]  with any queries.



    Similar Positions