Workshop co-located with CDC'19

Spatio-Temporal Reasoning for Control of Cyber-physical Systems

December 10th, Nice, France

Organizers

Image

Laura Nenzi

TU Wien, Austria

Image

André Pedro

ISP, University of Lübeck, Germany

Abstract

This workshop aims to present the most recent advances in the development of logic-based procedures for the analysis and control of spatially distributed Cyber Physical Systems (CPS), with particular emphasis on the combination of temporal and spatial behaviors. Spatially distributed CPS, such as robotic swarms and smart environments, often exhibit multiple and unpredictable behaviors that increase the efforts needed in their analysis. Studying and controlling such systems requires a growing demand for efficient tools capable of dealing with such complex behavioral patterns. Spatio-temporal logic is an innovative way to reason and face such challenges. This workshop has the dual objective: (1) showing the usefulness of spatio-temporal logic to the control community in the context of spatially distributed CPS and (2) highlighting what are the main important challenges in the analysis of such systems that logic community can help to solve in the near future. Several case studies will be considered to discuss the real usefulness of these methodologies. This will lay the foundations for a verification framework of spatially distributed CPS as well as fill the gap between theory and practice of CPS design, deployment and testing, with particular emphasis in the decision procedures and monitoring mechanisms.

Context and Motivation

TBD

Objectives

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.

Target Audience

The workshop aims to attract PhD students and researchers with a common interest in the verification and control of spatially-distributed CPS, as well as to expose them to the state-of the art and the current challenges in the field of spatio-temporal logics. We mainly expect participants from formal methods and control community but participants from other disciplines can also join, since one of the main objectives of the workshop is to share and discuss the applicability of the spatio-temporal reasoning on the field of control systems and all talks will be self-contained, including the necessary background.

Speakers

TBA

Program

8:30 AM

Title Talk 1

Speaker 1
9:15 AM

Title Talk 2

Speaker 2
10:00 AM

Coffee Break

11:00 AM

Title Talk 3

Speaker 3
11:45 AM

Title Talk 4

Speaker 4
12:30 PM

Break For Lunch

14:00 PM

Title Talk 5

Speaker 5
14:45 PM

Title Talk 6

Speaker 6
15:15 PM

Coffee Break

15:45 PM

Title Talk 7

Speaker 7
16:30 PM

Workshop End

Venue

Tuesday, December 10, 2019 at the Palais des Congrès et des Expositions Nice Acropolis, Nice, France

News

SPRCC Workshop Web Site is now available to the public.