CPS Week 2018 Advance Program ‧ MT-CPS Workshop

This combined program is provided 'as is'. More up-to-date information may be avalialbe at each event's official websites.

CPS Week 2018 Program Overview

MT-CPS Workshop

3rd Workshop on Monitoring and Testing of Cyber-Physical Systems
official website

CPS Week 2018 Workshops:

Other CPS Week 2018 Events:

April 10

see all CPS Week events for this day

08:00 - 08:45Registration
Palácio da Bolsa
08:45 - 09:00Workshop Welcome
R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal
09:00 - 10:30Workshop Session - Regular Expressions and Temporal Logics

Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias. Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam and Alena Rodionova

On the Quantitative Semantics of Regular Expressions over Real-Valued Signals. Alexey Bakhirkin, Thomas Ferrère, Oded Maler and Dogan Ulus

From MITL to timed automata. Thomas Ferrère, Oded Maler and Dejan Nickovic

R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal
10:30 - 11:00Coffee Break
R10 - Palácio da Bolsa - Level 1
11:00 - 13:00Workshop Session - Falsification

Time-Staging Enhancement of Hybrid System Falsification. Gidon Ernst, Ichiro Hasuo, Sean Sedwards and Zhenya Zhang

Falsification of Cyber-Physical Systems with Reinforcement Learning. Koki Kato, Fuyuki Ishikawa and Shinichi Honiden

Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach. Arend Aerts, Bryan Tong Minh, Mohammadreza Mousavi and Michel Reniers

Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems. Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland, Sajed Miremadi, Zahra Ramezani and Knut Åkesson

R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal
13:00 - 14:00Lunch
R01 - Palácio da Bolsa - Level 0 - Pátio das Nações
14:00 - 15:30Workshop Session - Tools

Towards Context-Aware Cyber-Physical Systems. Radoslav Ivanov, James Weimer and Insup Lee

DejaVu: A Monitoring Tool for First-Order Temporal Logic. Klaus Havelund, Doron Peled and Dogan Ulus

MONAA: a Tool for Timed Pattern Matching with Automata-Based Acceleration. Masaki Waga, Ichiro Hasuo and Kohei Suenaga

R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal
15:30 - 16:00Coffee Break
R10 - Palácio da Bolsa - Level 1
16:00 - 17:30Workshop Session - Control and Stimulus Generation

Resilient Control and Safety for Cyber-Physical Systems. Ashish Tiwari, Scott Smolka, Lukas Esterle, Anna Lukina, Junxing Yang and Radu Grosu

Cyber-Physical Doping Tests. Sebastian Biewer, Pedro R. D'Argenio and Holger Hermanns

Stimulus Generator for Circuit Model Generation. Xavier Avon and Thao Dang

R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal
18:45 - 20:30CPS Week Workshop/Tutorial Cocktail Dînatoire
Palácio da Bolsa