Report on compositional verification, and incremental verification in interaction with online controller adaptation

This report presents the results of tasks 3.3 and 3.4. We first present how verification results can be obtained in a compositional way as described in task 3.3. The computational aspect is a further key technology to scale the methods up towards industrial applications. A special focus of the computational aspects will be on power systems as described in WP 5 since they are usually to large to verify monolithically. Second, it investigates how incremental verification and controller synthesis can be carried out and interwoven online to obtain control strategies that fulfil the given specifications.