We are excited to showcase the cutting-edge research and groundbreaking discoveries that will be presented at our conference. Our rigorous peer-review process has ensured the selection of high-quality papers that address diverse topics within the realm of ADHS. From theoretical frameworks to practical applications, these accepted papers represent the forefront of innovations in the field. Explore this page to discover the compelling insights and findings that our esteemed presenters will share during the ADHS-2024 conference.
Day 1 (July 1st, 2024)
Keynote (09:00 AM - 10:00 AM)
| Speaker: | Prof. Dr. Tichakorn (Nok) Wongpiromsarn, Iowa State University, USA. |
| Title: | Establishing Correctness of Learning-Enabled Autonomous Systems |
Coffee Break (10:00 AM - 10:30 AM)
Session 1 (10:30 AM - 12:30 PM) - Stability (Chair: Raphael Jungers)
| Authors | Title | RE* |
| Lal, Ratan; Prabhakar, Pavithra | Verification of Parametric Properties of Linear Discrete-time Stochastic Systems | |
| Vuille, Alexis; Berger, Berger; Jungers, Raphaël M. | Data-Driven Stability Analysis of Switched Linear Systems Using Adaptive Sampling | |
| Dayekh, Hadi; Basset, Nicolas; Dang, Thao | Hybrid System Identification through Optimization and Active Learning |  |
| Battista, Ludovico; Tonetta, Stefano | Formal Verification of Stability for Parametric Affine Switched Systems | |
| Wintz, Paul; Sanfelice, Ricardo | Conical Transition Graphs: A New Tool to Analyze Asymptotic Stability for Hybrid Systems | |
| van den Eijnden, Sebastiaan; Heemels, Maurice; Nijmeijer, Hendrik; Heertjes, Marcel | Stability and performance analysis of hybrid integrator-gain systems: An LMI approach** |
Lunch Break (12:30 PM - 02:00 PM)
Session 2 (02:00 PM - 03:40 PM) - Invariance (Chair: Ricardo Sanfelice)
| Authors | Title | RE* |
| Belamfedel Alaoui, Sadek; Saoud, Adnane | Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties | |
| Wembe Wafo, Emmanuel Junior; Saoud, Adnane | On Robust Controlled Invariants for Continuous-Time Monotone Systems | |
| Belamfedel Alaoui, Sadek; Saoud, Adnane | Necessary and sufficient conditions of forward invariance in hybrid dynamical systems: A linear matrix approach | |
| Zhong, Bingzhuo; Dong, Weijie; Yin, Xiang; Zamani, Majid | Verification of Diagnosability for Cyber-Physical Systems via Hybrid Barrier Certificates | |
| Abate, Alessandro; Bogomolov, Sergiy; Edwards, Alec; Potomkin, Kostiantyn; Soudjani, Sadegh; Zuliani, Paolo | Safe Reach Set Computation via Neural Barrier Certificates |
Coffee Break (03:40 PM - 04:10 PM)
Session 3 (04:10 PM - 05:50 PM) - Stochastic Systems (Chair: Samuel Coogan)
| Authors | Title | RE* |
| Mathiesen, Frederik Baymler; Lahijanian, Morteza; Laurenti, Luca | IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes | |
| Samari, Behrad; Della Rossa, Matteo; Lavaei, Abolfazl; Soudjani, Sadegh; Jungers, Raphaël M. | Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems | |
| Monir, Negar; Schön, Oliver; Soudjani, Sadegh | Lyapunov-Based Policy Synthesis for Multi-Objective Interval MDPs | |
| Palacios Roman, Juan Javier; Hafstein, Sigurður; van den Eijnden, Sebastiaan; Heertjes, Marcel; Heemels, Maurice | Stability analysis of hybrid integrator-gain systems using linear programming | |
| Engelaar, Maico; Zhang, Zengjie; Lazar, Mircea; Haesaert, Sofie | Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics | |
* Papers that have passed the Repeatability Evaluation (RE) hold the RE-passed badge next to their titles.
** NAHS dissemination paper.
Day 2 (July 2nd, 2024)
Keynote (09:00 AM - 10:00 AM)
| Speaker: | Prof. Dr. Aaron D. Ames, California Institute of Technology, USA. |
| Title: | Control Barrier Functions: Guaranteeing Safety in Theory and Practice |
Coffee Break (10:00 AM - 10:30 AM)
Session 1 (10:30 AM - 12:30 PM) - Learning (Chair: Sriram Sankaranarayanan)
| Authors | Title | RE* |
| Bertollo, Riccardo; van den Eijnden, Sebastiaan; Heemels, Maurice | Incremental Stability of Discrete-Time First-Order Projection Elements | |
| Yang, Yejiang; Mo, Zihao; Xiang, Weiming | D^3NN: Data-Driven Dual-Level Neural Network Tool for Dynamical System Modeling and Abstraction | |
| Liu, Jun; Meng, Yiming; Zhou, Ruikun | LyZNet with Control: Physics-Informed Neural Network Control of Nonlinear Systems with Formal Guarantees | |
| Nadali, Alireza; Trivedi, Ashutosh; Zamani, Majid | Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model | |
| Makdesi, Anas; Girard, Antoine; Fribourg, Laurent | Online Learning for Safe Model Predictive Control with the Compatible Models Approach | |
| Ochoa, Daniel E.; Poveda, Jorge I. | On Hybrid Prescribed-Time Concurrent Learning with Switching Datasets | |
Lunch Break (12:30 PM - 02:00 PM)
Session 2 (02:00 PM - 03:40 PM) - Temporal Logics and Applications/Tools (Chair: Adnane Saoud)
| Authors | Title | RE* |
| Yasini, Taha; Pakniyat, Ali | Hybrid Optimal Control of a Flying+Sailing Drone: Flying with 6 and Sailing with 5 Degrees of Freedom | |
| Harapanahalli, Akash; Jafarpour, Saber; Coogan, Samuel | immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX | |
| Jimenez-Leudo, Santiago; Braun, Philipp; Sanfelice, Ricardo; Shames, Iman | A Hybrid Systems Formulation for a Capture-the-Flag Game | |
| Hashemi, Navid; Williams, Sam; Hoxha, Bardh; Prokhorov, Danil; Fainekos, Georgios; Deshmukh, Jyotirmoy | LB4TL: Smooth Semantics for Temporal Logic for Scalable Training of Neural Feedback Controllers | |
| van Huijgevoort, Birgit; Verhoek, Chris; Tóth, Roland; Haesaert, Sofie | Direct data-driven control with signal temporal logic specifications |
Coffee Break (03:40 PM - 04:10 PM)
Session 3 (04:10 PM - 05:50 PM) - Approximations (Chair: Andrew Teel)
| Authors | Title | RE* |
| Zhong, Bingzhuo; Arcak, Murat; Zamani, Majid | Hierarchical Control for Cyber-Physical Systems via General Approximate Alternating Simulation Relations | |
| Aspeel, Antoine; Ozay, Necmiye | A Simulation Preorder for Koopman-like Lifted Control Systems | |
| Glunt, Jonah; Siefert, Jacob; Thompson, Andrew; Pangborn, Herschel | Error Bounds for Compositions of Piecewise Affine Approximations | |
| Pola, Giordano; De Santis, Elena; Di Benedetto, M. Domenica | Approximate current state observability of discrete-time nonlinear systems under cyber-attacks** | |
| Teel, Andrew R.; Goebel, Rafal | Stochastic approximations of hybrid systems with continuous flow maps |
* Papers that have passed the Repeatability Evaluation (RE) hold the RE-passed badge next to their titles.
** NAHS dissemination paper.
Day 3 (July 3rd, 2024)
Keynote (09:00 AM - 10:00 AM)
| Speaker: | Prof. Dr. Rafal Goebel, Loyola University Chicago, USA. |
| Title: | It is OK for (hybrid) dynamics to be multivalued and have nonunique solutions |
Coffee Break (10:00 AM - 10:30 AM)
Session 1 (10:30 AM - 12:30 PM) - Verification and Synthesis (Chair: Morteza Lahijanian)
| Authors | Title | RE* |
| Wang, Nan; Sanfelice, Ricardo | HyRRT-Connect: A Bidirectional Rapidly-Exploring Random Trees Motion Planning Algorithm for Hybrid Systems | |
| Anand, Mahathi; Zamani, Majid | Distributed Safety Controller Synthesis for Unknown Interconnected Systems via Graph Neural Networks | |
| Schön, Oliver; Naseer, Shammakh; Wooding, Ben; Soudjani, Sadegh | Data-Driven Abstractions Via Binary-Tree Gaussian Processes for Formal Verification | |
| Meng, Yiming; Liu, Jun | Lyapunov-Barrier Characterization of Robust Reach-Avoid-Stay Specifications for Hybrid Systems** | |
| Shen, Qiang; Niu, Ruochen; Yong, Sze Zheng | Tractable Model Discrimination for Safety-Critical Systems with Disjunctive and Coupled Constraints** | |
| Galarza-Jimenez, Felipe; Murali, Vishnu; Zamani, Majid | Compositional Synthesis of Controllers via Co-Büchi Barrier Certificates |
Lunch Break (12:30 PM - 02:00 PM)
Session 2 (02:00 PM - 03:40 PM) - Applied Verification for Continuous and Hybrid Systems Workshop
| Time | Activity | |
| Contributed Papers (12 min presentation, 8 min discussion) | ||
| 02:00 PM | Welcome Address | |
| 02:20 PM | [Benchmark Proposal] Stability Verification of an Industrial Switched PI Control Systems (Basagiannis, Stylianos; Battista, Ludovico; Becchi, Anna; Cimatti, Alessandro; Georgios Giantamidis; Sergio Mover; Alberto Tacchella; Stefano Tonetta; Vassilios Tsachouridis) | |
| 02:40 PM | [Benchmark Proposal] Randomized Generation of Arbitrarily Difficult Verification Tasks for Linear Time-Invariant Systems (Wetzlinger, Mark; Althoff, Matthias) | |
| 03.00 PM | [Tool Presentation] Implementation of Polyhedral Operations in CORA 2024 (Wetzlinger, Mark; Kotsev, Viktor; Kulmburg, Adrian; Althoff, Matthias) | |
| Declaration of the results of the ARCH friendly competition (part 1) | ||
| 03:20 PM | Piecewise Constant Dynamics (Lead: Bu, Lei) | |
| 03:30 PM | Continuous and Hybrid Systems with Linear Dynamics (Lead: Althoff, Matthias) | |
Coffee Break (03:40 PM - 04:10 PM)
Session 3 (04:10 PM - 5:30 PM) - Applied Verification for Continuous and Hybrid Systems Workshop
| Time | Activity | |
| Results of the ARCH Friendly Competition (Part II) | ||
| 04:10 PM | Nonlinear Systems (lead: Geretti, Luca) | |
| 04:20 PM | Falsification (lead: Menghi, Claudio) | |
| 04:30 PM | Artificial Intelligence and Neural Network Control Systems (lead: Johnson, Taylor) | |
| 04:40 PM | Hybrid Programs (lead: Mitsch, Stefan) | |
| 04:50 PM | Voting for ARCH 2024 Best Result Award | |