Program

Program

Since we will have a live online event, we shortened the program to accomodate at many time zones as possible. Recordings of the workshop.

17:00-18:30 (CEST) Contributed Papers (tentative; 10 min presentation, 5 min discussion)

17:00 Jawher Jerray, Laurent Fribourg and Etienne Andre: Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method
17:15 Johan Liden Eddeland, Sajed Miremadi and Knut Akesson: Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification
17:30 Johan Liden Eddeland, Alexandre Donze, Sajed Miremadi and Knut Akesson: Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems
17:45 Maximilian Gaukler: Analysis of Real-Time Control Systems using First-Order Continuization
18:00 Ian Mitchell: A Robust Controlled Backward Reach Tube with (Almost) Analytic Solution for Two Dubins Cars
18:15 Edward Kim and Parasara Sridhar Duggirala: Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials

18:30-18:45 (CEST) Break

18:45 Taylor Johnson: Tour through our online repository


19:00-20:10 (CEST) Results of the ARCH Friendly Competition

19:00 Piecewise Constant Dynamics plus BMC (lead: Lei Bu)
19:10 Continuous and Hybrid Systems with Linear Dynamics (lead: Matthias Althoff)
19:20 Nonlinear Systems (lead: Luca Geretti)
19:30 Artificial Intelligence and Neural Network Control Systems (lead: Taylor Johnson)
19:40 Stochastic Models (lead: Alessandro Abate)
19:50 Falsification (lead: Gidon Ernst)
20:00 Hybrid Programs (lead: Stefan Mitsch)

20:10-20:15 (CEST) Break

20:15 Discussion on the future of the friendly competition

Previous programs can be found here.