Formal methods for control of cyber-physical systems

  • Groene Loper 19, Flux

    5612 AP Eindhoven

    Netherlands

  • P.O. Box 513, Department of Electrical Engineering

    5600 MB Eindhoven

    Netherlands

Organization profile

Introduction / mission

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

Organisational 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.

In this lab, we are especially interested in developing formal methods to handle the uncertainty in cyber-physical systems caused by (1) the inherent stochasticity in physical systems, (2) the use of noisy sensor measurements, and (3) the lack of exact model knowledge. The use of data for feedback, estimation, and Bayesian inference to tackle uncertainty and attain formal guarantees is a common theme in the lab.

Applications of formal methods include inter alia formally-specified motion planning for robots in uncertain environments, cruise control synthesis for platooning of cars, and temperature control in buildings.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2013 2018

  • 14 Article
  • 9 Conference contribution
  • 1 Conference article
  • 1 Phd Thesis 1 (Research TU/e / Graduation TU/e)
1 Citation (Scopus)

A separation theorem for guaranteed H2 performance through matrix inequalities

Haesaert, S., Weiland, S. & Scherer, C. W., 1 Oct 2018, In : Automatica. 96, 306-313, p. 306-313 8 p.

Research output: Contribution to journalArticleAcademicpeer-review

State estimation
Linear matrix inequalities
State feedback
Feedback
Controllers
2 Citations (Scopus)

Temporal logic control of general Markov decision processes by approximate policy refinement

Haesaert, S., Soudjani, S. & Abate, A., 1 Jan 2018, In : IFAC-PapersOnLine. 51, 16, p. 73-78 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
Temporal logic
Dynamical systems
Controllers
2 Citations (Scopus)

Temporal logic control of POMDPs via label-based stochastic simulation relations

Haesaert, S., Nilsson, P., Vasile, C. I., Thakker, R., Agha-mohammadi, A., Ames, A. D. & Murray, R. M., 1 Jan 2018, In : IFAC-PapersOnLine. 51, 16, p. 271-276 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
Temporal logic
Labels
Specifications
Controllers