CPS Week 2018 Advance Program ‧ R14 - Palácio da Bolsa - Level 1 - Sala Dourada

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

R14 - Palácio da Bolsa - Level 1 - Sala Dourada

Palácio da Bolsa
Golden Room - R14 (Level 1)
R. de Ferreira Borges, 4050-253 Porto
This room is currently still used by the Board of Directors, made up by 15 elements who represent as many sectors of activity and who are elected and not remunerated, for their monthly meetings.

In addition to the interesting pavement we have the stucco ceiling, the furniture by Marques da Silva, the paintings of former presidents and the two bronze boards, exhibiting the names of the presidents of the two centuries of this institution.

April 10

see all CPS Week events for this day

09:15 - 10:00SCAVWorkshop Keynote - Simulating and Verifying Cyber-Physical Systems - Current Challenges and Novel Research Directions
Khalil Ghorbal
10:30 - 12:30SCAVWorkshop 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

14:00 - 15:20SCAVWorkshop 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

16:00 - 16:40SCAVWorkshop 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

16:40 - 17:30SCAVWorkshop Discussion + Demos + Closing