Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Optimal and Robust Controller Synthesis: using Energy Timed Automata
  with Uncertainty   In this paper, we propose a novel framework for the synthesis of robust and
optimal energy-aware controllers. The framework is based on energy timed
automata, allowing for easy expression of timing constraints and variable
energy rates. We prove decidability of the energy-constrained infinite-run
problem in settings with both certainty and uncertainty of the energy rates. We
also consider the optimization problem of identifying the minimal upper bound
that will permit the existence of energy-constrained infinite runs. Our
algorithms are based on quantifier elimination for linear real arithmetic.
Using Mathematica and Mjollnir, we illustrate our framework through a real
industrial example of a hydraulic oil pump. Compared with previous approaches
our method is completely automated and provides improved results.

0
The categories of this paper are: hep-ph
23
The categories of this paper are: solv-int
36
The categories of this paper are: cmp-lg
11
The categories of this paper are: hep-lat
35
The categories of this paper are: mtrl-th
22
The categories of this paper are: chao-dyn
19
The categories of this paper are: eess
20
The categories of this paper are: acc-phys
26
The categories of this paper are: bayes-an
24
The categories of this paper are: dg-ga
32
The categories of this paper are: atom-ph
33
The categories of this paper are: plasm-ph
10
The categories of this paper are: q-bio
29
The categories of this paper are: funct-an
9
The categories of this paper are: nlin
21
The categories of this paper are: adap-org