1 code implementation • 27 Aug 2023 • Marcelo Forets, Christian Schilling
We study the problem of computing the preimage of a set under a neural network with piecewise-affine activation functions.
1 code implementation • 16 Dec 2021 • Christian Schilling, Marcelo Forets, Sebastian Guadalupe
When considering dynamical systems and neural networks in isolation, there exist precise approaches for that task based on set representations respectively called Taylor models and zonotopes.
1 code implementation • 22 Jun 2020 • Marcelo Forets, Daniel Freire, Christian Schilling
In this paper we present an approach based on conservative set-based enclosure of the dynamics that can handle systems with uncertain parameters and inputs, where the uncertainties are bound to given intervals.
no code implementations • 7 May 2019 • Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
Reachability analysis aims at identifying states reachable by a system within a given time horizon.
Systems and Control Dynamical Systems Optimization and Control
no code implementations • 30 Jan 2019 • Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
We present JuliaReach, a toolbox for set-based reachability analysis of dynamical systems.
Systems and Control Dynamical Systems
no code implementations • 29 Jan 2018 • Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling, Frédéric Viry
Approximating the set of reachable states of a dynamical system is an algorithmic yet mathematically rigorous way to reason about its safety.
Systems and Control Dynamical Systems