The workshop is organized in two sessions:

  • Session 1 (State-of-the-art) includes an introduction of spatio-temporal logics, challenges and history as well as state-of the art in controlling spatial distributed cyber physical systems.
  • Session 2 (Application domains) deals mainly with practical applications of monitoring and control of cyber physical systems, including the presentation of some case studies.
09:00-9:10Organizers: Opening Remarks
Session 1:
9:10-9:50Calin Belta, Boston University, USA:
Spatial Temporal Logic Verification, and Synthesis
09:50-10:30Michele Loreti, University of Camerino, Italy:
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems
10:30-11:00Coffee Break
11:00-11:40Jane Hillston, University of Edinburgh, UK:
A novel logic for analysing the spatio-temporal properties of spatial stochastic systems
11:40-12:20Martin Leucker, University of Lübeck, Germany:
Spatio-temporal logic synthesis using modern SMT solvers
12:20-13:50Lunch break – Reserved Lunch: RESTAURANT AU MOULIN ENCHANTÉ
Session 2: Application domains
13:50-14:30Necmiye Ozay, University Of Michigan, USA:
Counting Temporal Logics for Multi-Agent Planning and Beyond
14:30-15:10Sven Linker, University of Liverpool, UK:
Target Counting with Wireless Sensor Networks: Spatio-Temporal Models and Presburger Arithmetic
15:10-15:40 Coffee Break
15:40-16:20Christos Tsigkanos, TU Wien, Austria:
Dynamic Cyber-Physical Spaces
16:20-17:10Discussion Session and Closing Remarks