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
DARS Workshop
3rd Design and Analysis of Robust Systems Workshop
official website
CPS Week 2018 Workshops:
EITEC ‧ SCAV ‧ SCOPE ‧ DARS ‧ CPSBench ‧ CPS-SR ‧ CPS-INTL ‧ MSCPES ‧ MT-CPS ‧ MCPS ‧ CySWater ‧ SmartFarming
Other CPS Week 2018 Events:
Conferences ‧ Tutorials ‧ Competitions...
April 10
see all CPS Week events for this day
08:00 - 09:00 | Registration Palácio da Bolsa |
08:55 - 09:00 | Opening Remarks R22 - Palácio da Bolsa - Level 2 - Sala Minho |
09:00 - 10:00 | Workshop Keynote - Measuring robustness for cyber-physical systems: real-world experiences and challenges Jim Kapinski R22 - Palácio da Bolsa - Level 2 - Sala Minho |
10:00 - 10:30 | Coffee Break R10 - Palácio da Bolsa - Level 1 |
10:30 - 12:30 | Workshop SessionSession Chair: Fedro ShamrovComputing the mutational robustness of gene regulatory network. Mirco Giacobbe, Ashutosh Gupta, Calin C. Guet, Thomas A. Henzinger, Tiago Paixão and Tatjana Petrov A quantitative approach on safety, reachability and stability specifications. Alina Eqtami and Antoine Girard Measuring Neural Net Robustness. Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori and Antonio Criminisi DiscussionR22 - Palácio da Bolsa - Level 2 - Sala Minho |
12:30 - 14:00 | Lunch R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
14:00 - 15:30 | Workshop Keynote + SessionSession chair: Alexey BakhirkinKeynote Talk:Robust to Dynamics Optimization. Amir Ali AhmadiA CEGAR Approach for Hybrid Systems Reachability Analysis. Stefan Schupp and Erika Abraham R22 - Palácio da Bolsa - Level 2 - Sala Minho |
15:30 - 16:00 | Coffee Break R10 - Palácio da Bolsa - Level 1 |
16:00 - 17:25 | Workshop SessionSession chair: Pavithra PrabhakarProbabilistic Bounded Reachability for Stochastic Hybrid Systems. Fedor Shmarov DiscussionR22 - Palácio da Bolsa - Level 2 - Sala Minho |
17:25 - 17:30 | Closing Remarks R22 - Palácio da Bolsa - Level 2 - Sala Minho |
18:45 - 20:30 | CPS Week Workshop/Tutorial Cocktail Dînatoire Palácio da Bolsa |