CPS Week 2018 Advance Program ‧ SCAV 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

SCAV Workshop

2nd International Workshop on Safe Control of Autonomous Vehicles
official website

CPS Week 2018 Workshops:
EITECSCAVSCOPEDARSCPSBenchCPS-SRCPS-INTLMSCPESMT-CPSMCPSCySWaterSmartFarming

Other CPS Week 2018 Events:
ConferencesTutorialsCompetitions...

April 10

see all CPS Week events for this day

08:00 - 09:00Registration
Palácio da Bolsa
09:00 - 09:15Workshop Welcome
R14 - Palácio da Bolsa - Level 1 - Sala Dourada
09:15 - 10:00Workshop Keynote - Simulating and Verifying Cyber-Physical Systems - Current Challenges and Novel Research Directions
Khalil Ghorbal
R14 - Palácio da Bolsa - Level 1 - Sala Dourada
10:00 - 10:30Coffee Break
R10 - Palácio da Bolsa - Level 1
10:30 - 12:30Workshop Session 1 - Modeling, Verification, and Simulation

Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety.
Eric Kim, Murat Arcak, Sanjit A. Seshia, Baekgyu Kim and Shinichi Shiraishi
Presenter: Eric Kim
Discussant: Edward Griffor

Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL.
Maike Schwammberger
Presenter: Maike Schwammberger
Discussant: Georg Schildbach

The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications.
Rahul Kumar Bhadani, Jonathan Sprinkle and Matthew Bunting
Presenter: Rahul Kumar Bhadani
Discussant: Mohammad Hejase


R14 - Palácio da Bolsa - Level 1 - Sala Dourada
12:30 - 14:00Lunch
R01 - Palácio da Bolsa - Level 0 - Pátio das Nações
14:00 - 15:20Workshop Session 2 - Failure Analysis and Tolerance, and Safety Argumentation

Robust Safety for Autonomous Vehicles through Reconfigurable Networking.
Khalid Halba, Charif Mahmoudi and Edward Griffor
Presenter: Edward Griffor
Discussant: Eric Kim

Identification of Risk Significant Automotive Scenarios Under Hardware Failures
Mohammad Hejase, Arda Kurt, Tunc Aldemir and Umit Ozguner
Presenter: Mohammad Hejase
Discussant: Rahul Kumar Bhadani


R14 - Palácio da Bolsa - Level 1 - Sala Dourada
15:30 - 16:00Coffee Break
R10 - Palácio da Bolsa - Level 1
16:00 - 16:40Workshop Session 2 (Cont) - Failure Analysis and Tolerance, and Safety Argumentation

On the Development of a Trajectory Tracking Controller under the ISO 26262 Requirements for Functional Safety.
Georg Schildbach
Presenter: Georg Schildbach
Discussant: Maike Schwammberger


R14 - Palácio da Bolsa - Level 1 - Sala Dourada
16:40 - 17:30Workshop Discussion + Demos + Closing
R14 - Palácio da Bolsa - Level 1 - Sala Dourada
18:45 - 20:30CPS Week Workshop/Tutorial Cocktail Dînatoire
Palácio da Bolsa
>