1,844 research outputs found
Simulation-based reachability analysis for nonlinear systems using componentwise contraction properties
A shortcoming of existing reachability approaches for nonlinear systems is
the poor scalability with the number of continuous state variables. To mitigate
this problem we present a simulation-based approach where we first sample a
number of trajectories of the system and next establish bounds on the
convergence or divergence between the samples and neighboring trajectories. We
compute these bounds using contraction theory and reduce the conservatism by
partitioning the state vector into several components and analyzing contraction
properties separately in each direction. Among other benefits this allows us to
analyze the effect of constant but uncertain parameters by treating them as
state variables and partitioning them into a separate direction. We next
present a numerical procedure to search for weighted norms that yield a
prescribed contraction rate, which can be incorporated in the reachability
algorithm to adjust the weights to minimize the growth of the reachable set
Fast Reachable Set Approximations via State Decoupling Disturbances
With the recent surge of interest in using robotics and automation for civil
purposes, providing safety and performance guarantees has become extremely
important. In the past, differential games have been successfully used for the
analysis of safety-critical systems. In particular, the Hamilton-Jacobi (HJ)
formulation of differential games provides a flexible way to compute the
reachable set, which can characterize the set of states which lead to either
desirable or undesirable configurations, depending on the application. While HJ
reachability is applicable to many small practical systems, the curse of
dimensionality prevents the direct application of HJ reachability to many
larger systems. To address computation complexity issues, various efficient
computation methods in the literature have been developed for approximating or
exactly computing the solution to HJ partial differential equations, but only
when the system dynamics are of specific forms. In this paper, we propose a
flexible method to trade off optimality with computation complexity in HJ
reachability analysis. To achieve this, we propose to simplify system dynamics
by treating state variables as disturbances. We prove that the resulting
approximation is conservative in the desired direction, and demonstrate our
method using a four-dimensional plane model.Comment: in Proceedings of the IEE Conference on Decision and Control, 201
Algorithmic Verification of Continuous and Hybrid Systems
We provide a tutorial introduction to reachability computation, a class of
computational techniques that exports verification technology toward continuous
and hybrid systems. For open under-determined systems, this technique can
sometimes replace an infinite number of simulations.Comment: In Proceedings INFINITY 2013, arXiv:1402.661
- …