Track chairs
Nan Yang (TNO-ESI)
Dennis Hendriks (TNO-ESI, RU)
11:00-11:02 Opening
11:02-11:22 Lars Moormann (Rijkswaterstaat), Design of Supervisory Controllers for Infrastructural Systems at Rijkswaterstaat
11:23-11:34 Johan Korten (UU / HAN UAS), An Integrated Cyber-Physical System for Evidence-Based Infant Resuscitation Training
11:35-11:46 Ömer Sayilir (UT), CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems
11:47-11:58 Kevin Jilissen (TU/e / RWS), Improving and Understanding Tunnel Control Systems using Formal Analysis
11:58-12:00 Closing
