Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Control Synthesis for Permutation-Symmetric High-Dimensional Systems
  With Counting Constraints   General purpose correct-by-construction synthesis methods are limited to
systems with low dimensionality or simple specifications. In this work we
consider highly symmetrical counting problems and exploit the symmetry to
synthesize provably correct controllers for systems with tens of thousands of
states. The key ingredients of the solution are an aggregate abstraction
procedure for mildly heterogeneous systems and a formulation of counting
constraints as linear inequalities.

26
The categories of this paper are: bayes-an
25
The categories of this paper are: patt-sol
24
The categories of this paper are: dg-ga
17
The categories of this paper are: q-fin
22
The categories of this paper are: chao-dyn
29
The categories of this paper are: funct-an
15
The categories of this paper are: nucl-ex
35
The categories of this paper are: mtrl-th
36
The categories of this paper are: cmp-lg
5
The categories of this paper are: gr-qc
14
The categories of this paper are: math-ph
7
The categories of this paper are: hep-th
37
The categories of this paper are: supr-con
10
The categories of this paper are: q-bio
16
The categories of this paper are: stat
23
The categories of this paper are: solv-int