108 citations · 717 across the 40 of their papers we have counts for
8 papers · 1 filter
Robust Zonotopic Control
Fouzi Tabouri, Kim Guldstrand Larsen, Christian Schilling
We propose a zonotopic framework for synthesizing a single robust state feedback controller that is certified to stabilize every plant inside a matrix zonotope, describing linearly…
Scalable Reachability Analysis of Linear Continuous Systems with Property-Driven Time-Step Adaptation
Mikkel Bjørn, Daniel H. Hansen, Grace Melchiors +2
We study safety verification for linear time-invariant systems with bounded inputs in continuous time. The standard approach reduces to a reachability analysis in two steps: first…
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…
Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data
Miriam García Soto, Thomas A. Henzinger, Christian Schilling
Formal design of embedded and cyber-physical systems relies on mathematical modeling. In this paper, we consider the model class of hybrid automata whose dynamics are defined by af…
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions
Marcelo Forets, Daniel Freire, Christian Schilling
Efficiently handling time-triggered and possibly nondeterministic switches for hybrid systems reachability is a challenging task. In this paper we present an approach based on cons…
Reachability analysis of linear hybrid systems via block decomposition
Sergiy Bogomolov, Marcelo Forets, Goran Frehse +2
Reachability analysis aims at identifying states reachable by a system within a given time horizon. This task is known to be computationally expensive for linear hybrid systems. Re…