Program (Wednesday July 03, 2024)

12:30 - 14:00Lunch
14:00 - 15:20Contributed Papers (12 min presentation, 8 min discussion)
14:00Welcome Address
14:20Stylianos Basagiannis, Ludovico Battista, Anna Becchi, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta and Vassilios Tsachouridis: Stability Verification of an Industrial Switched PI Control Systems (Benchmark Proposal)
14:40Mark Wetzlinger and Matthias Althoff: Randomized Generation of Arbitrarily Difficult Verification Tasks for Linear Time-Invariant Systems (Benchmark Proposal)
15.00Mark Wetzlinger, Viktor Kotsev, Adrian Kulmburg and Matthias Althoff: Implementation of Polyhedral Operations in CORA 2024 (Tool Presentation)
15:20 - 15:40 Results of the ARCH Friendly Competition (Part I)
15:20Nonlinear Systems (lead: Luca Geretti)
15:30Continuous and Hybrid Systems with Linear Dynamics (lead: Matthias Althoff)
15:40 - 16:10Coffee Break
16:10 - 17:00Results of the ARCH Friendly Competition (Part II)
16:10Piecewise Constant Dynamics (lead: Lei Bu)
16:20Falsification (lead: Claudio Menghi)
16:30Artificial Intelligence and Neural Network Control Systems (lead: Taylor Johnson)
16:40Voting for ARCH 2024 Best Result Award