Formal methods for control of cyber-physical systems

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

Finished
SYSDYNET: Data-Driven Modeling in Dynamic Networks
Van den Hof, P. M. J. (Project Manager), Haesaert, S. (Project member), Kivits, E. M. M. (Project member), Weiland, S. (Project member), Lazar, M. (Project member), Donkers, M. C. F. (Project member), Tóth, R. (Project member), Steentjes, T. R. V. (Project member), Ramaswamy, K. (Project member), Ludlage, J. H. A. (Project member), Dreef, H. J. (Project member), Cheng, X. (Project member), Nawijn, H. (Project communication officer), van der Hagen, D. (Project communication officer), Fonken, S. J. M. (Project member) & Shi, S. (Project member)
1/09/16 → 31/08/22
Project: Research direct

Projects