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 generi...

Full description

Saved in:
Bibliographic Details
Published inarXiv.org
Main Authors Banach, Richard, Zhu, Huibiao, Su, Wen, Huang, Runlei
Format Paper Journal Article
LanguageEnglish
Published Ithaca Cornell University Library, arXiv.org 21.06.2011
Subjects
Computer Science - Software Engineering
Domains
Hybrid systems
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:2331-8422
DOI:10.48550/arxiv.1106.4097