1,918 research outputs found
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
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
This paper presents a methodology for safety verification of continuous and hybrid systems in the worst-case and stochastic settings. In the worst-case setting, a function of state termed barrier certificate is used to certify that all trajectories of the system starting from a given initial set do not enter an unsafe region. No explicit computation of reachable sets is required in the construction of barrier certificates, which makes it possible to handle nonlinearity, uncertainty, and constraints directly within this framework. In the stochastic setting, our method computes an upper bound on the probability that a trajectory of the system reaches the unsafe set, a bound whose validity is proven by the existence of a barrier certificate. For polynomial systems, barrier certificates can be constructed using convex optimization, and hence the method is computationally tractable. Some examples are provided to illustrate the use of the method
Local Nash Realizations
In this paper we investigate realization theory of a class of non-linear
systems, called Nash systems. Nash systems are non-linear systems whose vector
fields and readout maps are analytic semi-algebraic functions. In this paper we
will present a characterization of minimality in terms of observability and
reachability and show that minimal Nash systems are isomorphic. The results are
local in nature, i.e. they hold only for small time intervals. The hope is that
the presented results can be extended to hold globally.Comment: 8 pages, extended conference pape
- …