Palácio da Bolsa

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

Posters

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