Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Predictability of Event Occurrences in Timed Systems   We address the problem of predicting events' occurrences in partially
observable timed systems modelled by timed automata. Our contribution is
many-fold: 1) we give a definition of bounded predictability, namely
k-predictability, that takes into account the minimum delay between the
prediction and the actual event's occurrence; 2) we show that 0-predictability
is equivalent to the original notion of predictability of S. Genc and S.
Lafortune; 3) we provide a necessary and sufficient condition for
k-predictability (which is very similar to k-diagnosability) and give a simple
algorithm to check k-predictability; 4) we address the problem of
predictability of events' occurrences in timed automata and show that the
problem is PSPACE-complete.

31
The categories of this paper are: ao-sci
20
The categories of this paper are: acc-phys
29
The categories of this paper are: funct-an
6
The categories of this paper are: astro-ph
24
The categories of this paper are: dg-ga
8
The categories of this paper are: hep-ex
13
The categories of this paper are: quant-ph
14
The categories of this paper are: math-ph
34
The categories of this paper are: chem-ph
7
The categories of this paper are: hep-th
5
The categories of this paper are: gr-qc
18
The categories of this paper are: econ
17
The categories of this paper are: q-fin
11
The categories of this paper are: hep-lat
3
The categories of this paper are: physics
22
The categories of this paper are: chao-dyn