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
-
A Persistent-Excitation-Free Method for System Disturbance Estimation Using Concurrent Learning
IEEE Transactions on Circuits and Systems I: Regular Papers (2023) -
SySCoRe
(2023) -
Convex incremental dissipativity analysis of nonlinear systems
Automatica (2023) -
Distributed Stochastic Model Predictive Control for a Microscopic Interactive Traffic Model
Electronics (2023) -
Correct-by-Design Control of Parametric Stochastic Systems
(2023)
Contact
-
Visiting address
drs Rowan Bosch BAFluxGroene Loper 195612 AP EindhovenNetherlandspvallenduuk@ live.nl -
Visiting address
Kay KoningJade dos Santosvan de Veenbaan3021WL BeverwijkNetherlandskaylee89@ yahoo.nl -
Postal address
Stefan Dubois MAP.O. Box 513Department of Electrical Engineering5600 MB EindhovenNetherlandsnout20@ live.nl -
Postal address
kand. Luke de Bruynprof. Jort Wendt BscHendriksweg6942LX BerltsumNetherlandsvince.vanderpol@ vandermeer.nl