The main objective of this workshop is to expose the most updated advances in the development of logic-based procedures to analyze and control spatially-distributed CPS. The workshop aims to build bridges between the control system and formal method communities inherent to the current challenges in the design, conception and development of CPS distributed in space. In detail, the workshop will present the theoretical methodologies to specify, verify and control spatio-temporal behavior on CPS. On the other side, the control community will have the possibilities to present current problems in the analysis of CPS distributed in a physical space. In particular, several case studies will be considered to discuss the real usefulness of these methodologies.
The workshop aims to demonstrate the practicality of the formal methods to the control community in the context of spatially distributed CPS and to identify what are the main important challenges encountered in the analysis of such systems that the logical community can help to address in the future. This will lay the foundations for a spatially distributed CPS verification framework as well as fill the gap between the theory and practice of CPS design, development and deployment involving control routines, in particular on decision procedures and monitoring mechanisms for verification of these systems.
SPRCC Workshop Web Site is now available to the public.