Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Exponential-Condition-Based Barrier Certificate Generation for Safety
  Verification of Hybrid Systems   A barrier certificate is an inductive invariant function which can be used
for the safety verification of a hybrid system. Safety verification based on
barrier certificate has the benefit of avoiding explicit computation of the
exact reachable set which is usually intractable for nonlinear hybrid systems.
In this paper, we propose a new barrier certificate condition, called
Exponential Condition, for the safety verification of semi-algebraic hybrid
systems. The most important benefit of Exponential Condition is that it has a
lower conservativeness than the existing convex condition and meanwhile it
possesses the property of convexity. On the one hand, a less conservative
barrier certificate forms a tighter over-approximation for the reachable set
and hence is able to verify critical safety properties. On the other hand, the
property of convexity guarantees its solvability by semidefinite programming
method. Some examples are presented to illustrate the effectiveness and
practicality of our method.

21
The categories of this paper are: adap-org
22
The categories of this paper are: chao-dyn
18
The categories of this paper are: econ
16
The categories of this paper are: stat
3
The categories of this paper are: physics
30
The categories of this paper are: q-alg
20
The categories of this paper are: acc-phys
37
The categories of this paper are: supr-con
32
The categories of this paper are: atom-ph
5
The categories of this paper are: gr-qc
25
The categories of this paper are: patt-sol
28
The categories of this paper are: alg-geom
26
The categories of this paper are: bayes-an
35
The categories of this paper are: mtrl-th
10
The categories of this paper are: q-bio
7
The categories of this paper are: hep-th