Ken Pierce

Cyber-Physical Systems

Personal page

Research Interests

  • Digital Twins

  • Embedded Systems

  • Formal Methods

  • Model Based Design

  • Modelling & Simulation

  • Smart Systems

Cyber-physical systems (CPSs) are composed of interacting software and hardware elements, and are marked by distributed, networked control and the need for fault tolerance and human interaction. Examples include co-operating vehicles, smart grids, autonomous drones, precision agriculture, and smart buildings.

At Newcastle we are developing tools and techniques to help better understand these systems through techniques such as collaborative modelling and co-simulation, where multiple individual models are joined to create system-level model of a CPS.

I am keen to supervise projects which:

  • Explore the "design space" of such models by running multiple simulations
  • Visualise the results of such "design space explorations"
  • Expand existing collaborative models with models of human behaviour
  • Visualise collaborative models in 3D using Unity or other game engines
  • Investigate controls for (simulated) racing robots

Technologies & Programming Languages

I am comfortable supervising projects that make use of the following technologies and programming languages.

  • C#

  • HTML/CSS

  • Java

  • PHP

  • Python

  • Vienna Development Method (VDM)

  • Unity

Contact

TODO: Use this site to find project supervisors for your masters projects.