Accepted Demos & Posters

Accepted Demos and Posters


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

Note: the list is ordered based on the submission number