The University of Southampton

CPS undertakes research in a multidisciplinary environment across Electronics and Computer Science that enables advances in the engineering of cyber-physical systems.

CPS Group Research Themes
CPS Group Research Themes

Our work involves the exploration and development of theoretical foundations, engineering methods, hardware and software design tools and system engineering applications.

  • Our research on theoretical foundations includes program semantics, logics, programming and modelling languages, biomedical signal processing, machine learning, computer architecture, game theory, and statistical analysis.
  • Our research on engineering methods include requirements analysis, model-based design, program construction and generation, verification and validation methods and system optimisation.
  • Our tool development work includes tools for formal modelling, model verification, program verification, simulation, optimisation and testing.
  • We apply our foundations, methods and tools to construction of a range of electronic and software systems including pervasive systems, embedded systems, distributed systems, healthcare systems, mobile devices and information services.

 The CPS group focuses on the following main research themes

Autonomous and Intelligent Systems

  • Machine learning based on kernel methods and their applications in various domains.
  • Validation and verification of autonomous systems.

Related people: Prof Michael ButlerProf Steve GunnDr Son Hoang

Control Theory and System Design

Control systems are vital components of many engineering and engineered systems and play a central role in systems achieving desired performance. They can be found in aircraft, spacecraft, and autonomous systems, as well as motors, phones, and wind turbines. We work on developing rigorous analysis and synthesis techniques for control systems, and in applying advanced control techniques to practical systems. 
 
Our research includes:
  • Development and application of novel adaptive and robust control algorithms 
  • Design of controllers for constrained control systems (anti-windup algorithms)
  • Development and application of nonlinear stability analysis techniques
  • Application of advanced control approaches, mainly to problems in the aerospace industry

Related people: Prof Matthew Turner

Embedded Systems

Our research in Embedded Systems focuses on energy-efficent and reliable multi-core systems, and design of very large scale integration (VLSI) circuits

Our specialisation in this area includes

  • Energy-efficient embedded systems
  • Simulaton and synthesis techniques for design of very large scale integration (VLSI) circuits
  • Three-dimensional integrated cirucuit (3D-IC) design
  • Mixed-technology systems
  • Digital and analogue systems integration

Related people: Dr Tomasz Kazmierski

Formal Design Methods

Formal design methods are mathematical modeling and analysis methods used to increase the system dependability and trustworthiness. We are working on mathematical-based techniques, e.g., theorem proving, model checking, etc., to ensure the that systems meet their desirable properties in terms of safety, security, availabity, etc.

Our research in formal design methods includes

  1. theoretical foundation to program semantics and modelling languages, 
  2. engineering methods for requirement analysis, model-based design, and validation and verification methods, 
  3. tools for formal modelling, program and model verification, simulation techniques for validation,
  4. applications in different domains such as railway systems, airspace systems, and healthcare systems. 

Related people: Prof Michael Butler, Dr Dana DghaymDr Son Hoang, Dr Abdolbaghi Rezazadeh, Dr Asieh Salehi FathabadiDr Colin SnookDr Andrew Sogokon

Internet of Things and Pervasive Systems

Our research on Internet of Things and Pervasive Systems include wireless sensor networks, pervasive healthcare systems.

Our expertise includes

  • Energy-aware wireless sensing
  • Energy havesting
  • Sensor networks
  • Pervasive healthcare
  • Wearable devices

Related people: Dr Geoff Merrett

Low Power and Efficient Systems

Programming Languages and Verification

Our research in Programming Languages and Verification includes formal semantics, concurrent programs, and software verification techniques.

Our expertise includes

  • Concurrent programming
  • Logics
  • Formal semantics
  • Software analysis and verification

Related people: Prof Michael ButlerDr Son Hoang

Software Engineering and Agile Methods

Our research in Software Engineering and Agile Methods includes effective and agile approaches to software development and the use of information technology, particularly in support of higher education.

Recent research has focussed on agile estimation techniques, spikes, programming language popularity, information assurance, and healthcare informatics.

Related people: Dr Abdolbaghi RezazadehDr Andy GravellDr Gary Wills