Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Formalising the Continuous/Discrete Modeling Step   Formally capturing the transition from a continuous model to a discrete model
is investigated using model based refinement techniques. A very simple model
for stopping (eg. of a train) is developed in both the continuous and discrete
domains. The difference between the two is quantified using generic results
from ODE theory, and these estimates can be compared with the exact solutions.
Such results do not fit well into a conventional model based refinement
framework; however they can be accommodated into a model based retrenchment.
The retrenchment is described, and the way it can interface to refinement
development on both the continuous and discrete sides is outlined. The approach
is compared to what can be achieved using hybrid systems techniques.

25
The categories of this paper are: patt-sol
4
The categories of this paper are: cond-mat
37
The categories of this paper are: supr-con
14
The categories of this paper are: math-ph
11
The categories of this paper are: hep-lat
6
The categories of this paper are: astro-ph
32
The categories of this paper are: atom-ph
13
The categories of this paper are: quant-ph
23
The categories of this paper are: solv-int
8
The categories of this paper are: hep-ex
16
The categories of this paper are: stat
22
The categories of this paper are: chao-dyn
21
The categories of this paper are: adap-org
34
The categories of this paper are: chem-ph
36
The categories of this paper are: cmp-lg
33
The categories of this paper are: plasm-ph