Report on behaviour prediction for cyber-physical systems

The report describes how the behavior prediction has been realized according to task 2.1. We describe the basic theory on how one can predict all possible behaviors of dynamic objects when the system dynamics and set-based uncertainties are given. The report will also show applications on the proposed realisations of cyber-physical systems as described in WP 5.