Verification of Cyber-Physical Systems: Exploiting Uncertainty for Scalability

Funded by: NWO
Duration: August 2018 until July 2021
Contact: Dr. A. Hartmanns

Summary of the project

Computers control our physical world: in self-driving cars, smart power grids, or manufacturing robots. We must verify that such systems work even when faced with unexpected and random events. The research performed in this project will deliver practical mathematical verification methods which take advantage of the very randomness that challenges the control algorithms.

Additional Resources

Project presentation (slides)

	Home > Research > Projects
<< EEMCS (EWI) Home News and Events People Research » Projects » Publications » Tools Education Vacancies Intranet Contact	Verification of Cyber-Physical Systems: Exploiting Uncertainty for Scalability Funded by: NWO Duration: August 2018 until July 2021 Contact: Dr. A. Hartmanns Summary of the project Computers control our physical world: in self-driving cars, smart power grids, or manufacturing robots. We must verify that such systems work even when faced with unexpected and random events. The research performed in this project will deliver practical mathematical verification methods which take advantage of the very randomness that challenges the control algorithms. Additional Resources Project presentation (slides)