MT-CPS'17

2nd International Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS'17)

Pittsburgh, PA, USA | 21st April 2017 |
Co-located with CPS Week

Cyber-physical systems (CPS) are integrations of heterogeneous collaborative entities that interact between themselves and with their physical environment. 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 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):

• Specification languages for monitoring and testing
• Runtime verification and monitoring
• Black-box and white-box testing
• Measuring and statistical information gathering
• Simulation-based verification and parameter synthesis
• Diagnostics, error localization and repair
• Combination of static and dynamic analyses
• Applications and case studies

WORKSHOP FORMAT

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.

Program Chairs

Houssam Abbas, University of Pennsylvania
Jyotirmoy Deshmukh, Toyota Technical Center
Georgios Fainekos, Arizona State University
BaekGyu Kim, Toyota InfoTechnology Center

Program Committee

• Houssam Abbas, University of Pennsylvania, USA
• Ezio Bartocci, Vienna University of Technology, Austria
• Mauricio Castillo-Effen, General Electric
• Thao Dang, VERIMAG, France
• Jyotirmoy Deshmukh, Toyota Technical Center, USA
• Georgios Fainekos, Arizona State University, USA
• Sebastian Fischmeister, University of Waterloo, Canada
• Ichiro Hasuo, University of Tokyo, Japan
• BaekGyu Kim, Toyota InfoTechnology Center, USA
• Oded Maler, VERIMAG, France
• Konstantinos Mamouras, University of Pennsylvania, USA
• Sajed Miremadi, Volvo Car Corporation
• Sergio Mover, University of Colorado, USA
• Dejan Nickovic, AIT Austrian Institute of Technology GmbH, Austria
• Jens Oehlerking, Robert Bosch GmbH
• Kristin Yvonne Rozier, Iowa State University, USA
• Erik Seligman, Intel, USA
• Oleg Sokolsky, University of Pennsylvania, USA
• Vishnu Vithala, Boeing
• Qiming Zhao, Denso

PC CHAIRS

• Houssam Abbas, University of Pennsylvania, USA
• Jyotirmoy Deshmukh, Toyota Technology Center, USA
• Georgios Fainekos, Arizona State University, USA
• BaekGyu Kim, Toyota InfoTechnology Center, USA