Tool

news

Visible to the public ARCH 2019 Best Result Award

The ARCH 2019 Best Result Award goes to Fabian Immler for his verification tool Isabelle/HOL-ODE-Numerics. The award comes with a 650 Euro prize sponsored by Bosch. Since Fabian couldn't be at the ceremony, Matthias Althoff accepted the certificate on his behalf, from Arne Hamann of Bosch.

news

Visible to the public ARCH 2018 Best Friendly Competition Result

It is our pleasure to announce that Marcelo Forets and Christian Schilling receive the ARCH 2018 Best Friendly Competition Result. They develop the tool JuliaReach, which showed significant improvements for computing reachable sets of linear continuous systems. The award comes with a 500 Euro prize from Bosch. Goran Frehse received the prize from Thomas Heinz of Bosch on their behalf.

forum

Visible to the public finite-time reachability of a class of discrete-time PWA systems over a class of polyhedra

The problem is as follows. Given a model, a set of initial conditions X(0) and a time horizon N, we want to compute the states reachable at time 1, 2, ..., N. In other words, we want to determine X(1), X(2), ..., X(N).

The model is a class of discrete-time PWA systems:

x(k+1) = A_i x(k) + b_i, if x(k) \in R_i where i \in {1,...,M}

For each i \in {1,...,M}, there is a single element in each row of matrix A_i with the value of 1 and the others are 0.

news

Visible to the public Best Tool Award at ARCH 2016 goes to Stanley Bak, Sergiy Bogomolov, and Christian Schilling

The best tool award at ARCH 2016 goes to Stanley Bak, Sergiy Bogomolov, and Christian Schilling for their paper "High-level Hybrid Systems Analysis with Hypy". Congratulations! The award comes with a $500 prize from Bosch.

news

Visible to the public Best Tool Result Award for Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, and Mahesh Viswanathan

The best tool result award at ARCH 2015 goes to Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, and Mahesh Viswanathan. Congratulations! The award comes with a $600 prize from Bosch.