Formal methods for control of cyber-physical systems

  • Groene Loper 19, Flux

    5612 AP Eindhoven

    Nederland

  • P.O. Box 513, Department of Electrical Engineering

    5600 MB Eindhoven

    Nederland

Onderzoeksoutput 2013 2019

Filter
Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
2017

Data-driven and model-based methods for verification and control of physical systems

Haesaert, S., 16 feb 2017, Eindhoven: Technische Universiteit Eindhoven. 235 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)Academic

Open Access
Bestand