Formalising the Continuous/Discrete Modeling Step

Details Formalising the Continuous/Discrete Modeling Step Formalising the Continuous/Discrete Modeling Step

2011-06-21

arxiv.org/abs/1106.4097v1

EPTCS 55, 2011, pp. 121-138

Computer Science

Software Engineering

In Proceedings Refine 2011, arXiv:1106.3488

Scientific paper

10.4204/EPTCS.55.8

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.

Affiliated with

Also associated with

No associations

Rating

Formalising the Continuous/Discrete Modeling Step does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Formalising the Continuous/Discrete Modeling Step, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Formalising the Continuous/Discrete Modeling Step will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-177865