Research Group
Cyber Physical Systems
We explore and develop cyber physical systems - mechanisms controlled or monitored by computer-based processes.
Part of
Electronics and computer science
About
Our research group's work reflects society’s increasing dependence on software for control in systems such as transport, telecoms and avionics.
We work on topics including:
- theoretical foundations
- modelling and programming languages
- engineering methods
- design tools
- system engineering applications
Our computer scientists work on projects with important implications for people and businesses. For example, we've explored how computers can harvest their own energy to avoid the costs that come with mains or battery-powered operations. We have also designed security systems to help increase resistance to cyber attacks on UK businesses.
Our research themes include:
- autonomous and intelligent systems - projects include machine learning and its applications
- control theory and system design - includes work in the aerospace industry
- embedded systems - includes research into energy-efficiency
- formal design methods - including theoretical foundation to program semantics and modelling languages
People, projects and publications
People
-
I have been learning and enjoying my research work as a member of the CPS group for the last 15 years; I am enthusiastic about safety modelling and verification in cyber-physical systems and autonomous systems. I also developed public engagement activities to engage children in the mathematics behind the safety formal models.
Dr Asieh Salehi FathabadiSenior Research Fellow -
As an academic spanning computer engineering and condensed matter physics, the Cyber Physical Systems research group supports my research interests through seminars and reading groups hosted throughout the year. CPS also provides an active and engaging environment for my research students, essential for their research needs.
Dr Mark VousdenLecturer
