Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Control of Timed Discrete Event Systems with Ticked Linear Temporal
  Logic Constraints   This paper presents a novel method of synthesizing a fragment of a timed
discrete event system(TDES),introducing a novel linear temporal logic(LTL),
called ticked LTL$_f$. The ticked LTL$_f$ is given as an extension to LTL$_f$,
where the semantics is defined over a finite execution fragment. Differently
from the standard LTL$_f$, the formula is defined as a variant of metric
temporal logic formula, where the temporal properties are described by counting
the number of tick in the fragment of the TDES. Moreover, we provide a scheme
that encodes the problem into a suitable one that can be solved by an integer
linear programming (ILP). The effectiveness of the proposed approach is
illustrated through a numerical example of a path planning.

11
The categories of this paper are: hep-lat
12
The categories of this paper are: nucl-th
36
The categories of this paper are: cmp-lg
35
The categories of this paper are: mtrl-th
3
The categories of this paper are: physics
4
The categories of this paper are: cond-mat
8
The categories of this paper are: hep-ex
27
The categories of this paper are: comp-gas
17
The categories of this paper are: q-fin
37
The categories of this paper are: supr-con
9
The categories of this paper are: nlin
34
The categories of this paper are: chem-ph
28
The categories of this paper are: alg-geom
24
The categories of this paper are: dg-ga
31
The categories of this paper are: ao-sci
32
The categories of this paper are: atom-ph