Part of CPS Week 2018
Tuesday, April 10, 2018 - Porto, Portugal
Location: MT-CPS will take place in R11, Sala do Tribunal, First Floor, Palácio da Bolsa, Porto, Portugal.
Cyber-physical systems (CPS) model the integration of computational modules, like decision logic, with physical phenomena in the environment, such as the phenomenon being controlled by the logic. CPS exhibit complex and unpredictable behaviors, thus making their correctness and robustness analysis a challenging task. In order to address their full complexity, there is an emergent need for formal, yet efficient and scalable methods for the verification and analysis of CPS. Light-weight verification techniques, such as monitoring and testing, achieve both rigor and efficiency by enabling the evaluation of systems according to the properties of their individual behaviours. The Monitoring and Testing of Cyber-Physical Systems (MT-CPS) workshop aims at bringing together researchers and practitioners interested in the problems of detecting, testing, measuring and extracting qualitative and quantitative properties from CPS behaviors. Topics of interest include (but are not limited to):
MT CPS workshop is intended to be a forum for exchanging the latest scientific trends between researchers and practitioners interested in the field of light-weight verification and analysis of CPS. As a consequence, the workshop will NOT have formal proceedings. We encourage submission of abstracts that address any of the aforementioned topics of interest and cover recently published results as well as work in progress.
MT-CPS 2018 is organized by the University of Pennsylvania, Southern Illinois University, CNRS/VERIMAG, and Mentor Graphics