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.

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.
www.palaciodabolsa.com

April 10

see all CPS Week events for this day

09:15 - 10:00	SCAV	Workshop Keynote - Simulating and Verifying Cyber-Physical Systems - Current Challenges and Novel Research Directions Khalil Ghorbal
10:30 - 12:30	SCAV	Workshop 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:20	SCAV	Workshop 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:40	SCAV	Workshop 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:30	SCAV	Workshop Discussion + Demos + Closing

CPS Week 2018 Program Overview