Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Modelling Clock Synchronization in the Chess gMAC WSN Protocol   We present a detailled timed automata model of the clock synchronization
algorithm that is currently being used in a wireless sensor network (WSN) that
has been developed by the Dutch company Chess. Using the Uppaal model checker,
we establish that in certain cases a static, fully synchronized network may
eventually become unsynchronized if the current algorithm is used, even in a
setting with infinitesimal clock drifts.

36
The categories of this paper are: cmp-lg
26
The categories of this paper are: bayes-an
0
The categories of this paper are: hep-ph
35
The categories of this paper are: mtrl-th
13
The categories of this paper are: quant-ph
11
The categories of this paper are: hep-lat
18
The categories of this paper are: econ
21
The categories of this paper are: adap-org
3
The categories of this paper are: physics
10
The categories of this paper are: q-bio
9
The categories of this paper are: nlin
12
The categories of this paper are: nucl-th
37
The categories of this paper are: supr-con
25
The categories of this paper are: patt-sol
28
The categories of this paper are: alg-geom
31
The categories of this paper are: ao-sci