Accepted papers
Papers that have passed the Repeatability Evaluation present the RE-passed badge 
next to their title.
| A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid Systems |
| Ahmad Madary, Hamidreza Momeni, Alessandro Abate, Kim Guldstrand Larsen |
| A hybrid control framework for an optimal visiting problem |
| Fabio Bagagiolo, Adriano Festa, Luciano Marzufero |
| A Hybrid System Approach to Exponential Stability with Sampled-data Control for a Class of Linear Hyperbolic System |
| Xinyong Wang, Ying Tang, Christophe Fiter, Laurentiu Hetel |
| Adaptive Testing for Specification Coverage in CPS Models |
| Ezio Bartocci, Bloem Roderick, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic |
| Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems |
| Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina, Enrico Regolin |
| An approximation for nonlinear differential-algebraic equations via singular perturbation theory |
| Yahao Chen, Stephan Trenn |
| An Approximation of Minimax Control using Random Sampling and Symbolic Computation |
| Jawher Jerray, Laurent Fribourg, Étienne André |
| Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools |
| Miel Sharf, Bart Besselink, Adam Molin, Qiming Zhao, Karl H. Johansson |
| Augmented obstacle avoidance controller design for mobile robots |
| Philipp Braun, Luca Zaccarian |
| Bounds on set exit times of affine systems, using Linear Matrix Inequalities |
| Guillaume Berger, Maben Rabi |
| Closed-loop incremental stability for efficient symbolic control of non-linear systems |
| Pouria Tajvar, Jana Tumova, Pierre-Jean Meyer |
| Computation of Controlled Invariants for Nonlinear Systems: Application to Safe Neural Networks Approximation and Control |
| Adnane Saoud, Ricardo Sanfelice |
| Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis |
| Sota Sato, Masaki Waga, Ichiro Hasuo |
| Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems |
| Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani |
| Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates |
| Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani |
| Data-driven stability analysis of switched linear systems with Sum of Squares guarantees |
| Anne Rubbens, Zheming Wang, Raphaël M. Jungers |
| Determination of limit cycles using stroboscopic set-valued maps |
| Jawher Jerray, Laurent Fribourg |
| Efficient Data-Driven Abstraction of Monotone Systems with Disturbances |
| Anas Makdesi, Antoine Girard, Laurent Fribourg |
| Fault Identification in Nonlinear Hybrid Systems Based on Sliding Mode Observers |
| Alexey N. Zhirabok, Alexander Zuev, Alexey Shumsky |
| Geometric control of algebraic systems |
| Benoît Legat, Raphaël M. Jungers |
| Globally Stabilizing Hybrid Adaptive Control for the DC-DC Boost Converter |
| Ryan Johnson, Berk Altin, Ricardo Sanfelice |
| Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration |
| Elena Ivanova, Antoine Girard |
| Learning Robust Hybrid Control Barrier Functions for Uncertain Systems |
| Alexander Robey, Lars Lindemann, Stephen Tu, Nikolai Matni |
| Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds |
| Martijn Angelo Goorden, Kim Guldstrand Larsen, Jesper E. Nielsen, Thomas Dyhre Nielsen, Michael Rasmussen, Jiri Srba |
| Learning Safe Stabilizing Controllers forSystems with Uncertain Dynamics |
| Fernando Castañeda, Ayush Agrawal, Tyler Westenbroek, Shankar Sastry, Koushil Sreenath |
| Mathematical modelling and optimal control of the seasonal coffee leaf rust propagation |
| Clotilde Djuikem, Agustín Gabriel Yabo, Frederic Grognard, Suzanne Touzeau |
| ModelGuard: Runtime Validation of Lipschitz-continuous Models |
| Taylor Carpenter, Radoslav Ivanov, Insup Lee, James Weimer |
| On the Search for Equilibrium Points of Switched Affine Systems |
| Lucas Egidio, Anders Hansson |
| On the stability of switched ARX models, with an application to learning via Regression Trees |
| Vittorio De Iuliis, Francesco Smarra, Costanzo Manes, Alessandro D'Innocenzo |
| Optimal Policy Synthesis from A Sequence of Goal Sets with An Application to Electric Distribution System Restoration |
| llker Isik, Onur Yigit Arpali, Ebru Aydin Gol |
| Overcoming Performance Limitations of Linear Control with Hybrid Integrator-Gain Systems |
| Dorus van Dinther, Bardia Sharif, Sebastiaan van den Eijnden, Hendrik Nijmeijer, Marcel Heertjes, Maurice Heemels |
| Planning in Dynamic and Partially Unknown Environments |
| Kristina Miller, Chuchu Fan, Sayan Mitra |
| PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement |
| Wael Fatnassi, Yasser Shoukry |
| Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization |
| Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam Gerlach, Kostiantyn Potomkin |
| Regularized Switched System Identification: a Statistical Learning Perspective |
| Louis Massucci, Fabien Lauer, Marion Gilson |
| Reset-control-based current tracking for a solenoid with unknown parameters |
| Riccardo Bertollo, Michael Schwegel, Andreas Kugi, Luca Zaccarian |
| Results on hybrid self-oscillating resonant converters |
| Nicola Zaupa, Luis Martinez-Salamero, Carlos Olalla, Luca Zaccarian |
| ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems |
| Yinan Li, Zhibing Sun, Jun Liu |
| Safe Online Planning in Unknown Nonconvex Environments with Implicit Controlled Invariant Sets |
| Zexiang Liu, Necmiye Ozay |
| Safety Control Synthesis for Systems with Missing Measurements |
| Liren Yang, Necmiye Ozay |
| Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems |
| Pavithra Prabhakar, Jun Liu |
| Smooth Approximations for Hybrid Optimal Control Problems with Application to Robotic Walking |
| Tyler Westenbroek, Xiaobin Xiong, Shankar Sastry, Aaron Ames |
| Switched Systems as Hybrid Programs |
| Yong Kiam Tan, Andre Platzer |
| Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games |
| Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani |
| Synchronization on a limit cycle of multi-agent systems governed by discrete-time switched affine dynamics |
| Mathias Serieye, Carolina Albea-Sanchez, Alexandre Seuret, Marc Jungers |
| Template-Dependent Lifts for Path-Complete Stability Criteria and Application to Positive Switching Systems |
| Virginie Debauche, Matteo Della Rossa, Raphaël M. Jungers |
| The orienteering problem: a hybrid control formulation |
| Fabio Bagagiolo, Adriano Festa, Luciano Marzufero |
| Time-optimal control of piecewise affine bistable gene-regulatory networks: preliminary results |
| Nicolas Augier, Agustín Gabriel Yabo |
| Time-Varying Tube-Based Output Feedback MPC for Constrained Linear Systems with Intermittently Delayed Data |
| Syed Hassaan, Tarun Pati, Qiang Shen, Sze Zheng Yong |
| Tractable higher-order under-approximating AE extensions for non-linear systems |
| Eric Goubault, Sylvie Putot |
| Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems |
| Victor Gaßmann, Matthias Althoff |
| Yet another matrix commutator condition for stabilizability of discrete-time switched linear systems |
| Atreyee Kundu |