Sofie Haesaert

Formal methods for control of cyber-physical systems

In our lab, we develop theory and engineering methods for the design and formal verification of control in cyber-physical systems (CPS).

image

Research Profile

For these systems a tight coupling between the physical and the digital domain via computation, control and communication poses new engineering challenges that have direct impact on future technology innovation. In the Netherlands, the automotive, high-tech, and medical industries face the challenge of maintaining provable reliability in the face of an inevitable growth in scale, functionality, and autonomy. As a part of the Control systems section, we develop formal methods for the design and verification of control implementations for cyber-physical systems.

Meet some of our Researchers

Most important project

Formal methods for control of uncertain cyber-physical systems.

Contact

  • Visiting address

    Flux
    Groene Loper 19
    5612 AP Eindhoven
    Netherlands
  • Postal address

    Department of Electrical Engineering
    P.O. Box 513
    5600 MB Eindhoven
    Netherlands