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
Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar
Profielen
-
Maico Engelaar, MSc
- Electrical Engineering, Control Systems - Promovendus
- Electrical Engineering, Formal methods for control of cyber-physical systems
Persoon: Prom. : Promovendus
-
Sofie Haesaert
- Electrical Engineering, Formal methods for control of cyber-physical systems
- Electrical Engineering, Autonomous Motion Control (AMC) Lab
- Electrical Engineering, Cyber-Physical Systems Center Eindhoven
- EAISI High Tech Systems - Universitair Docent
- EAISI Foundational - Universitair Docent
- Electrical Engineering, Control Systems - Universitair Docent
Persoon: UD : Universitair Docent
-
Birgit C. van Huijgevoort
- Electrical Engineering, Formal methods for control of cyber-physical systems
- Electrical Engineering, Spatial-Temporal Systems for Control
- Electrical Engineering, Control Systems - ex Promovendus
Persoon: Prom. : Promovendus, Prom. : Promovendus
projecten
- 1 Afgelopen
-
ERC Grant PvdHof SYSDYNET
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: Onderzoek direct
-
Another note on persistency of excitation: The linear parameter-varying case
Verhoek, C., Haesaert, S. & Tóth, R., 20 okt. 2023, 6 blz.Onderzoeksoutput: Boek/rapport › Rapport › Academic
Bestand -
A Persistent-Excitation-Free Method for System Disturbance Estimation Using Concurrent Learning
Zhang, Z., Liu, F., Liu, T., Qiu, J. & Buss, M., 1 aug. 2023, In: IEEE Transactions on Circuits and Systems I: Regular Papers. 70, 8, blz. 3305-3315 11 blz., 10136400.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
-
Automated Formation Control Synthesis from Temporal Logic Specifications
Qi, S., Zhang, Z., Haesaert, S. & Sun, Z., 5 apr. 2023, In: arXiv. 2023, 8 blz., 2304.00275v2.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic
Open AccessBestand10 Downloads (Pure)
Datasets
-
Dataset of Human Hand Motion Planning
Zhang, Z. (Ontwerper) & Hong, J. (Ontwerper), Zenodo, 15 apr. 2023
DOI: 10.5281/zenodo.8099884, https://zenodo.org/record/8099884
Dataset
-
Temporal logic control of a Van der Pol oscillator using a piecewise-affine abstraction
van Huijgevoort, B. C. (Ontwerper), Code Ocean, 2023
DOI: 10.24433/co.1740530.v1, https://codeocean.com/capsule/2685165/tree/v1
Dataset
-
SySCoRe (ARCH 2022)
Schön, O. (Ontwerper), Haesaert, S. (Ontwerper) & van Huijgevoort, B. C. (Ontwerper), Code Ocean, 17 jul. 2022
DOI: 10.24433/co.2213659.v1, https://codeocean.com/capsule/3124883/tree/v1
Dataset
Activiteiten
- 1 Aangemelde presentatie
-
Risk-Aware Task Assignment with Formal Specifications for Heterogeneous Multi-Agent Systems
Zengjie Zhang (Spreker)
23 mrt. 2023Activiteit: Types gesprekken of presentaties › Aangemelde presentatie › Wetenschappelijk
Knipsels
-
Women in Data Science: AI for the real world — A man’s perspective
6/04/23
1 item van Media-aandacht
Pers / media: Vakinhoudelijk commentaar
-
Electrical Engineering department receives a further boost through Cyber-Physical System Center Eindhoven (CPSe) efforts
22/09/22
1 item van Media-aandacht
Pers / media: Vakinhoudelijk commentaar
-
Five Eindhoven University of Technology Researchers Receive Veni Grants
Sofie Haesaert, Max V. Birk, Loe Schlicher & E. Sullivan
6/11/20
1 item van Media-aandacht
Pers / media: Vakinhoudelijk commentaar
Scripties/Masterproeven
-
Adversarial testing for an uncertain control system
Auteur: Salahuddin, M. K., 18 nov. 2021Begeleider: Haesaert, S. (Afstudeerdocent 1) & Weiland, S. (Afstudeerdocent 2)
Scriptie/Masterproef: Master
Bestand -
Increasing Multi-Robot Situation Awareness of an Intersection using Prior Knowledge and Traffic rules to constrain driving behaviours
Auteur: Selten, J., 23 mei 2023Begeleider: Bruyninckx, H. P. J. (Afstudeerdocent 1), van de Molengraft, M. J. G. (Afstudeerdocent 2), Arslan, Ö. (Afstudeerdocent 2), Haesaert, S. (Afstudeerdocent 2), Van den Hof, P. M. J. (Afstudeerdocent 2), Sun, Z. (Afstudeerdocent 2), van Dooren, P. (Afstudeerdocent 2) & de Vos, K. (Afstudeerdocent 2)
Scriptie/Masterproef: Master
Bestand