Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
Work
Year: 2022
Type: article
Abstract: Approximating the set of reachable states of a dynamical system is an algorithmic way to rigorously reason about its safety. Despite progress on efficient algorithms for affine dynamical systems, avai... more
Source: Information and Computation
Institutions Newcastle University, Universidad de la República, École Nationale Supérieure de Techniques Avancées, University of Freiburg, Aalborg University
Cites: 27
Cited by: 2
Related to: 10
FWCI: 0.267
Citation percentile (by year/subfield): 49.79
Subfield: Statistical and Nonlinear Physics
Field: Physics and Astronomy
Domain: Physical Sciences
Open Access status: hybrid
APC paid (est): $2,630