Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Sampling-Based Resolution-Complete Algorithms for Safety Falsification
  of Linear Systems   In this paper, we describe a novel approach for checking safety
specifications of a dynamical system with exogenous inputs over infinite time
horizon that is guaranteed to terminate in finite time with a conclusive
answer. We introduce the notion of resolution completeness for analysis of
safety falsification algorithms and propose sampling-based resolution-complete
algorithms for safety falsification of linear time-invariant discrete time
systems over infinite time horizon. The algorithms are based on deterministic
incremental search procedures, exploring the reachable set for feasible counter
examples to safety at increasing resolution levels of the input. Given a target
resolution of inputs, the algorithms are guaranteed to terminate either with a
reachable state that violates the safety specification, or prove that no input
exists at the given resolution that violates the specification.

12
The categories of this paper are: nucl-th
17
The categories of this paper are: q-fin
20
The categories of this paper are: acc-phys
24
The categories of this paper are: dg-ga
15
The categories of this paper are: nucl-ex
4
The categories of this paper are: cond-mat
11
The categories of this paper are: hep-lat
9
The categories of this paper are: nlin
19
The categories of this paper are: eess
7
The categories of this paper are: hep-th
27
The categories of this paper are: comp-gas
23
The categories of this paper are: solv-int
13
The categories of this paper are: quant-ph
18
The categories of this paper are: econ
29
The categories of this paper are: funct-an
22
The categories of this paper are: chao-dyn