Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Optimal controller synthesis for timed systems   Weighted timed games are zero-sum games played by two players on a timed
automaton equipped with weights, where one player wants to minimise the
cumulative weight while reaching a target. Used in a reactive synthesis
perspective, this quantitative extension of timed games allows one to measure
the quality of controllers in real-time systems. Weighted timed games are
notoriously difficult and quickly undecidable, even when restricted to
non-negative weights. For non-negative weights, the largest class that can be
analysed has been introduced by Bouyer, Jaziri and Markey in 2015. Though the
value problem is undecidable, the authors show how to approximate the value by
considering regions with a refined granularity. In this work, we extend this
class to incorporate negative weights, allowing one to model energy for
instance, and prove that the value can still be approximated, with the same
complexity. A small restriction also allows us to obtain a class of decidable
weighted timed games with negative weights and an arbitrary number of clocks.
In addition, we show that a symbolic algorithm, relying on the paradigm of
value iteration, can be used as an approximation/computation schema over these
classes. We also consider the special case of untimed weighted games, where the
same fragments are solvable in polynomial time: this contrasts with the
pseudo-polynomial complexity, known so far, for weighted games without
restrictions.

5
The categories of this paper are: gr-qc
22
The categories of this paper are: chao-dyn
8
The categories of this paper are: hep-ex
4
The categories of this paper are: cond-mat
0
The categories of this paper are: hep-ph
28
The categories of this paper are: alg-geom
25
The categories of this paper are: patt-sol
26
The categories of this paper are: bayes-an
34
The categories of this paper are: chem-ph
7
The categories of this paper are: hep-th
17
The categories of this paper are: q-fin
11
The categories of this paper are: hep-lat
6
The categories of this paper are: astro-ph
10
The categories of this paper are: q-bio
12
The categories of this paper are: nucl-th
29
The categories of this paper are: funct-an