Formal methods for control of cyber-physical systems

Websitehttps://www.sofiehaesaert.com

AddressShow on map
Groene Loper 19, Flux
5612 AP Eindhoven
Netherlands
Postal addressShow on map
Department of Electrical Engineering, P.O. Box 513
5600 MB Eindhoven
Netherlands

27 Article
21 Conference contribution
6 Conference article
2 Report
More

2 results

Filter

2023

Automatic Control Synthesis with Temporal Logic Requirements: Stochastic, Uncertain, and Nonlinear Systems
van Huijgevoort, B. C., 10 Nov 2023, Eindhoven: Eindhoven University of Technology. 210 p.
Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File

101 Downloads (Pure)
2017

Data-driven and model-based methods for verification and control of physical systems
Haesaert, S., 16 Feb 2017, Eindhoven: Technische Universiteit Eindhoven. 235 p.
Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File

765 Downloads (Pure)