Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Specification and Reactive Synthesis of Robust Controllers   This paper investigates the synthesis of robust controllers from logical
specification of regular properties given in an interval temporal logic QDDC.
Our specification encompasses both hard robustness and soft robustness. Here,
hard robustness guarantees invariance of commitment under user-specified
relaxed (weakened) assumptions. A systematic framework for logically specifying
the assumption weakening by means of a formula, called Robustness Criterion, is
presented. The soft robustness pertains to the ability of the controller to
maintain the commitment for as many inputs as possible, irrespective of any
assumption. We present a uniform method for the synthesis of a robust
controller which guarantees the specified hard robustness and it optimizes the
specified soft robustness. The method is implemented using a tool DCSynth,
which provides soft requirement optimized controller synthesis. Through the
case study of a synchronous bus arbiter, we experimentally show the impact of
hard robustness criteria as well as soft robustness on the ability of the
synthesized controllers to meet the commitment "as much as possible". Both, the
worst-case and the expected case behaviors are analyzed.

19
The categories of this paper are: eess
9
The categories of this paper are: nlin
30
The categories of this paper are: q-alg
37
The categories of this paper are: supr-con
14
The categories of this paper are: math-ph
20
The categories of this paper are: acc-phys
7
The categories of this paper are: hep-th
8
The categories of this paper are: hep-ex
16
The categories of this paper are: stat
33
The categories of this paper are: plasm-ph
22
The categories of this paper are: chao-dyn
24
The categories of this paper are: dg-ga
27
The categories of this paper are: comp-gas
23
The categories of this paper are: solv-int
36
The categories of this paper are: cmp-lg
2
The categories of this paper are: math