Projects per year
Introduction / mission
In our lab, we develop theory and engineering methods for the design and formal verification of control in cyber-physical systems (CPS).
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.
Dive into details
Select a country/territory to view shared publications and projects
- Electrical Engineering, Formal methods for control of cyber-physical systems
- Electrical Engineering, Autonomous Motion Control Lab
- Electrical Engineering, Cyber-Physical Systems Center Eindhoven
- Electrical Engineering, Control Systems - Assistant Professor
- EAISI High Tech Systems - Assistant Professor
- EAISI Foundational - Assistant Professor
Person: UD : Assistant Professor20132022
- 1 Active
Van den Hof, P. M. J., Van den Hof, P. M. J., Haesaert, S., Kivits, E. M. M., Weiland, S., Lazar, M., Donkers, M. C. F., Tóth, R., Steentjes, T. R. V., Ramaswamy, K., Ludlage, J. H. A., Dreef, H. J., Cheng, X., Nawijn, H., van der Hagen, D., Fonken, S. J. M. & Shi, S.
1/09/16 → 31/08/22
Project: Research direct
Verhoek, C., Koelewijn, P. J. W., Tóth, R. & Haesaert, S., 13 Jan 2022, Eindhoven: Eindhoven University of Technology. 1 p. (Technical Report TUE CS)
Research output: Book/Report › Report › AcademicOpen AccessFile
Verhoek, C., Tóth, R., Haesaert, S. & Koch, A., 1 Feb 2022, 60th IEEE Conference on Decision and Control, CDC 2021. Institute of Electrical and Electronics Engineers, p. 5040-5046 7 p. 9683151. (Proceedings of the IEEE Conference on Decision and Control; vol. 2021-December).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-reviewOpen AccessFile
Verhoek, C., Tóth, R. & Haesaert, S., 29 Jun 2021, Benelux Workshop on Systems and Control: Book of Abstracts. Lefeber, E. & Hendrickx, J. (eds.). Delft: Delft University of Technology, p. 55-55 1 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-reviewOpen Access
Press / Media
18 Nov 2021
Student thesis: MasterFile