Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Robotic Swarm Control from Spatio-Temporal Specifications   In this paper, we study the problem of controlling a two-dimensional robotic
swarm with the purpose of achieving high level and complex spatio-temporal
patterns. We use a rich spatio-temporal logic that is capable of describing a
wide range of time varying and complex spatial configurations, and develop a
method to encode such formal specifications as a set of mixed integer linear
constraints, which are incorporated into a mixed integer linear programming
problem. We plan trajectories for each individual robot such that the whole
swarm satisfies the spatio-temporal requirements, while optimizing total robot
movement and/or a metric that shows how strongly the swarm trajectory resembles
given spatio-temporal behaviors. An illustrative case study is included.

28
The categories of this paper are: alg-geom
22
The categories of this paper are: chao-dyn
29
The categories of this paper are: funct-an
17
The categories of this paper are: q-fin
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
14
The categories of this paper are: math-ph
15
The categories of this paper are: nucl-ex
6
The categories of this paper are: astro-ph
23
The categories of this paper are: solv-int
33
The categories of this paper are: plasm-ph
9
The categories of this paper are: nlin
24
The categories of this paper are: dg-ga
26
The categories of this paper are: bayes-an
0
The categories of this paper are: hep-ph
16
The categories of this paper are: stat