9th ICCPS 2018: Porto, Portugal

CPS security

Smart cities and smart transportation

Controller design, implementation, and applications

Synthesis and verification

Optimization

Medical applications

Autonomous vehicles

Work-in-progress/demo abstracts

a service of Schloss Dagstuhl - Leibniz Center for Informatics