97 citations · 403 across the 15 of their papers we have counts for
5 papers · 1 filter
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes
Christian Schilling, Marcelo Forets, Sebastian Guadalupe
We study the verification problem for closed-loop dynamical systems with neural-network controllers (NNCS). This problem is commonly reduced to computing the set of reachable state…
Conservative Time Discretization: A Comparative Study
Marcelo Forets, Christian Schilling
We present the first review of methods to overapproximate the set of reachable states of linear time-invariant systems subject to uncertain initial states and input signals for sho…
LazySets.jl: Scalable Symbolic-Numeric Set Computations
Marcelo Forets, Christian Schilling
LazySets.jl is a Julia library that provides ways to symbolically represent sets of points as geometric shapes, with a special focus on convex sets and polyhedral approximations. L…
Reachability of weakly nonlinear systems using Carleman linearization
Marcelo Forets, Christian Schilling
In this article we introduce a solution method for a special class of nonlinear initial-value problems using set-based propagation techniques. The novelty of the approach is that w…
Combining Set Propagation with Finite Element Methods for Time Integration in Transient Solid Mechanics Problems
Marcelo Forets, Daniel Freire Caporale, Jorge M. Pérez Zerpa
The Finite Element Method (FEM) is the gold standard for spatial discretization in numerical simulations for a wide spectrum of real-world engineering problems. Prototypical areas…