Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Parameter and Insertion Function Co-synthesis for Opacity Enhancement in
  Parametric Stochastic Discrete Event Systems   Opacity is a property that characterizes the system's capability to keep its
"secret" from being inferred by an intruder that partially observes the
system's behavior. In this paper, we are concerned with enhancing the opacity
using insertion functions, while at the same time, enforcing the task
specification in a parametric stochastic discrete event system. We first obtain
the parametric Markov decision process that encodes all the possible
insertions. Based on which, we convert this parameter and insertion function
co-synthesis problem into a nonlinear program. We prove that if the output of
this program satisfies all the constraints, it will be a valid solution to our
problem. Therefore, the security and the capability of enforcing the task
specification can be simultaneously guaranteed.

27
The categories of this paper are: comp-gas
6
The categories of this paper are: astro-ph
12
The categories of this paper are: nucl-th
14
The categories of this paper are: math-ph
32
The categories of this paper are: atom-ph
7
The categories of this paper are: hep-th
29
The categories of this paper are: funct-an
13
The categories of this paper are: quant-ph
16
The categories of this paper are: stat
2
The categories of this paper are: math
15
The categories of this paper are: nucl-ex
11
The categories of this paper are: hep-lat
10
The categories of this paper are: q-bio
36
The categories of this paper are: cmp-lg
3
The categories of this paper are: physics
33
The categories of this paper are: plasm-ph