Program

Program (Tuesday September 06, 2022)

Since we will have a hybrid event (remote and in-person participation), we shortened the program to accommodate as many time zones as possible. All workshops at SAFECOMP have to end before 17.00 so that participants can join the evening event in downtown Munich at 18.30.

The link for remote participation will be sent to you by the SAFECOMP organizers after your successful registration. This will most likely happen on Monday. In case some people will have technical issues, we will provide a backup link.

Note: A non-representative survey indicated that most people will present and participate remotely.

12:30-13:30 (CEST) Lunch Break (Lunch is offered for all participants who have registered as on-site present)

14:00-15:00 (CEST) Contributed Papers (10 min presentation, 5 min discussion)

14:00 Goran Frehse: Welcome Address
14:15 Mostafa Ayesh, Namya Mehan, Ethan Dhanraj, Abdul El-Rahwan, Simon Emil Opalka, Tony Fan, Akil Hamilton, Akshay Mathews Jacob, Rahul Anthony Sundarrajan, Bryan Widjaja and Claudio Menghi: Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device
14:30 Matthias Althoff: Benchmarks for the Formal Verification of Power Systems
14:45 Victor Gaßmann and Matthias Althoff: Implementation of Ellipsoidal Operations in CORA 2022

15:00-15:30 (CEST) Coffee Break

15:30-17:00 (CEST) Results of the ARCH Friendly Competition

15:30 Piecewise Constant Dynamics (lead: Lei Bu)
15:40 Continuous and Hybrid Systems with Linear Dynamics (lead: Matthias Althoff)
15:50 Nonlinear Systems (lead: Luca Geretti)
16:00 Stochastic Models (lead: Alessandro Abate)
16:10 Falsification (lead: Gidon Ernst)
16:20 Artificial Intelligence and Neural Network Control Systems (lead: Taylor Johnson)
16:30 Hybrid Programs (lead: Stefan Mitsch)
16.40 Voting for ARCH 2022 Best Result Award
16.50 Discussion on the future of the friendly competition

 

Previous programs can be found here.