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).
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.
Read moreMeet some of our Researchers
Most important project
Formal methods for control of uncertain cyber-physical systems.
Recent Publications
Our most recent peer reviewed publications
-
C. Verhoek,Patrick J.W. Koelewijn,Sofie Haesaert,Roland Tóth
Convex incremental dissipativity analysis of nonlinear systems
Automatica (2023) -
Oliver Schön,Birgit van Huijgevoort,Sofie Haesaert,Sadegh Soudjani
Correct-by-Design Control of Parametric Stochastic Systems
(2023) -
Birgit C. van Huijgevoort,Siep Weiland,Sofie Haesaert
Temporal logic control of nonlinear stochastic systems using a piecewise-affine abstraction
IEEE Control Systems Letters (2023) -
Alessandro Abate,Henk Blom,Joanna Delicaris,Sofie Haesaert,Arnd Hartmanns,Birgit C. van Huijgevoort,Abolfazl Lavaei,Hao Ma,Mathis Niehage,Anne Remke
ARCH-COMP22 Category Report: Stochastic Models
EPiC Series in Computing (2022) -
Birgit C. van Huijgevoort,Sofie Haesaert
Similarity quantification for linear stochastic systems
Automatica (2022)
Contact
-
Visiting address
FluxGroene Loper 195612 AP EindhovenNetherlands -
Postal address
P.O. Box 513Department of Electrical Engineering5600 MB EindhovenNetherlands