Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on
  Interval Analysis   We present HySIA: a reliable runtime verification tool for nonlinear hybrid
automata (HA) and signal temporal logic (STL) properties. HySIA simulates an HA
with interval analysis techniques so that a trajectory is enclosed sharply
within a set of intervals. Then, HySIA computes whether the simulated
trajectory satisfies a given STL property; the computation is performed again
with interval analysis to achieve reliability. Simulation and verification
using HySIA are demonstrated through several example HA and STL formulas.

11
The categories of this paper are: hep-lat
19
The categories of this paper are: eess
33
The categories of this paper are: plasm-ph
21
The categories of this paper are: adap-org
37
The categories of this paper are: supr-con
4
The categories of this paper are: cond-mat
14
The categories of this paper are: math-ph
24
The categories of this paper are: dg-ga
20
The categories of this paper are: acc-phys
35
The categories of this paper are: mtrl-th
36
The categories of this paper are: cmp-lg
25
The categories of this paper are: patt-sol
32
The categories of this paper are: atom-ph
23
The categories of this paper are: solv-int
22
The categories of this paper are: chao-dyn
18
The categories of this paper are: econ