Projecten per jaar
Organisatieprofiel
Introductie / missie
In our lab, we develop theory and engineering methods for the design and formal verification of control in cyber-physical systems (CPS).
Over de organisatie
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.
Vingerafdruk
Netwerk
Profielen
-
Sofie Haesaert
- Department of Electrical Engineering, Formal methods for control of cyber-physical systems
- Department of Electrical Engineering, Autonomous Motion Control (AMC) Lab
- Department of Electrical Engineering, Cyber-Physical Systems Center Eindhoven
- Department of Electrical Engineering, Control Systems - Universitair Docent
Persoon: UD : Universitair Docent
projecten
- 1 Actief
-
ERC Grant PvdHof SYSDYNET
Van den Hof, P. M. J., Van den Hof, P. M. J., Haesaert, S., Kivits, E. M. M. (., Shi, S., 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.
1/09/16 → 31/08/21
Project: Onderzoek direct
Onderzoeksoutput
-
Similarity quantification for linear stochastic systems as a set-theoretic control problem
van Huijgevoort, B. C. & Haesaert, S., 17 jul 2020, In : arXiv.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic
Bestand -
Arch-comp19 category report: Stochastic modelling
Abate, A., Blom, H., Cauchi, N., Degiorgio, K., Fränzle, M., Hahn, E. M., Haesaert, S., Ma, H., Oishi, M., Pilch, C., Remke, A., Salamati, M., Soudjani, S., van Huijgevoort, B. & Vinod, A. P., 2019, In : EPiC Series in Computing. 61, blz. 62-102 41 blz.Onderzoeksoutput: Bijdrage aan tijdschrift › Congresartikel › Academic › peer review
Open Access2 Citaten (Scopus) -
The smart carrier: design of a novel approach to the next generation of line sorters
Alosta, M., 23 okt 2019, Eindhoven: Technische Universiteit Eindhoven. 70 blz.Onderzoeksoutput: Scriptie › Pd Eng Thesis
Open AccessBestand
Knipsels
-
Five Eindhoven University of Technology Researchers Receive Veni Grants
Loe Schlicher, Sofie Haesaert, Max V. Birk & E. Sullivan
6/11/20
1 item van Media-aandacht
Pers / media: Vakinhoudelijk commentaar
-
Five TU/e researchers receive Veni grants
Loe Schlicher, Sofie Haesaert, Max V. Birk & E. Sullivan
5/11/20
2 items van Media-aandacht
Pers / media: Vakinhoudelijk commentaar