CPS Week 2018 Advance Program ‧ Palácio da Bolsa

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

Palácio da Bolsa

April 10

see all CPS Week events for this day

08:00 - 08:45MT-CPSRegistration
08:00 - 09:00Registration
08:00 - 09:00MCPSRegistration
08:00 - 09:00MSCPESRegistration
08:00 - 09:00SmartFarmingRegistration
08:00 - 09:00T-DRTSRegistration
18:45 - 20:30CPS Week Workshop/Tutorial Cocktail Dînatoire

April 11

see all CPS Week events for this day

8:00 - 09:00Registration
17:30 - 17:30HSCCPoster/Demos


ROCS - A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems. Yinan Li and Jun Liu

Graphical Hybrid Automata with Simulink and Stateflow. Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter Mosterman and Fu Zhang

DryVR 2.0 - A Tool For Verification and controller synthesis of black-box cyber-physical systems. Bolun Qi, Chuchu Fan, Minghao Jiang and Sayan Mitra


Formal Controller Synthesis from Hybrid Programs. Vladimir Sinyakov and Antoine Girard

Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs. Abolfazl Lavaei, Sadegh Soudjani and Majid Zamani

Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach. Abdalla Swikir, Antoine Girard and Majid Zamani

Contract based Design of Symbolic Controllers for Vehicle Platooning. Adnane Saoud, Antoine Girard and Laurent Fribourg

Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints. Hussein Sibai and Sayan Mitra

CODEV: Automated Model Predictive Control Design and Formal Verification. Nicole Chan and Sayan Mitra

Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles. Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito and James Kapinski

Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms. Eric Kim, Mahmoud Khaled, Murat Arcak and Majid Zamani

17:00 - 19:30CPS Week Poster/Demo, Reception

April 12

see all CPS Week events for this day

8:00 - 09:00Registration

April 13

see all CPS Week events for this day

8:00 - 09:00Registration