Reachability analysis consists in computing the set of states that are reachable by a
dynamical system from all initial states and for all admissible inputs and parameters. It is a …

Computer-assisted proofs in PDE: a survey | SpringerLink Skip to main content
Advertisement SpringerLink Log in Menu Find a journal Publish with us Search Cart 1.Home …

Abstract The tool Flow* performs Taylor model-based flowpipe construction for non-linear
(polynomial) hybrid systems. Flow* combines well-known Taylor model arithmetic …

This book is intended primarily for those not yet familiar with methods for computing with
intervals of real numbers and what can be done with these methods. Using a pair [a, b] of …

This book is intended primarily for those not yet familiar with methods for computing with
intervals of real numbers and what can be done with these methods. Using a pair [a, b] of …

We present an approach to construct reachable set overapproximations for continuous-time
dynamical systems controlled using neural network feedback systems. Feedforward deep …

Arb is a C library for arbitrary-precision interval arithmetic using the midpoint-radius
representation, also known as ball arithmetic. It supports real and complex numbers …

Poincaré's program for the global analysis of a dynamical system starts by considering
simple solutions, such as equilibria and periodic orbits, together with their corresponding …

This survey covers the state of the art of techniques for solving general-purpose constrained
global optimization problems and continuous constraint satisfaction problems, with …

This book is intended primarily for those not yet familiar with methods for computing with
intervals of real numbers and what can be done with these methods. Using a pair [a, b] of …