Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Combining Refinement of Parametric Models with Goal-Oriented Reduction
  of Dynamics   Parametric models abstract part of the specification of dynamical models by
integral parameters. They are for example used in computational systems
biology, notably with parametric regulatory networks, which specify the global
architecture (interactions) of the networks, while parameterising the precise
rules for drawing the possible temporal evolutions of the states of the
components. A key challenge is then to identify the discrete parameters
corresponding to concrete models with desired dynamical properties. This paper
addresses the restriction of the abstract execution of parametric regulatory
(discrete) networks by the means of static analysis of reachability properties
(goal states). Initially defined at the level of concrete parameterised models,
the goal-oriented reduction of dynamics is lifted to parametric networks, and
is proven to preserve all the minimal traces to the specified goal states. It
results that one can jointly perform the refinement of parametric networks
(restriction of domain of parameters) while reducing the necessary transitions
to explore and preserving reachability properties of interest.

15
The categories of this paper are: nucl-ex
14
The categories of this paper are: math-ph
23
The categories of this paper are: solv-int
2
The categories of this paper are: math
21
The categories of this paper are: adap-org
31
The categories of this paper are: ao-sci
16
The categories of this paper are: stat
12
The categories of this paper are: nucl-th
4
The categories of this paper are: cond-mat
10
The categories of this paper are: q-bio
5
The categories of this paper are: gr-qc
24
The categories of this paper are: dg-ga
34
The categories of this paper are: chem-ph
25
The categories of this paper are: patt-sol
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th