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...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2011-06-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1106.4097v1 |
| _version_ | 1818190047255461888 |
|---|---|
| author | Wen Su Huibiao Zhu Richard Banach Runlei Huang |
| author_facet | Wen Su Huibiao Zhu Richard Banach Runlei Huang |
| author_sort | Wen Su |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-11T23:52:30Z |
| format | Article |
| id | doaj.art-97f5952210ae4e529f4927ec59d1c1a2 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-11T23:52:30Z |
| publishDate | 2011-06-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-97f5952210ae4e529f4927ec59d1c1a22022-12-22T00:45:27ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802011-06-0155Proc. Refine 201112113810.4204/EPTCS.55.8Formalising the Continuous/Discrete Modeling StepWen SuHuibiao ZhuRichard BanachRunlei HuangFormally 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.http://arxiv.org/pdf/1106.4097v1 |
| spellingShingle | Wen Su Huibiao Zhu Richard Banach Runlei Huang Formalising the Continuous/Discrete Modeling Step Electronic Proceedings in Theoretical Computer Science |
| title | Formalising the Continuous/Discrete Modeling Step |
| title_full | Formalising the Continuous/Discrete Modeling Step |
| title_fullStr | Formalising the Continuous/Discrete Modeling Step |
| title_full_unstemmed | Formalising the Continuous/Discrete Modeling Step |
| title_short | Formalising the Continuous/Discrete Modeling Step |
| title_sort | formalising the continuous discrete modeling step |
| url | http://arxiv.org/pdf/1106.4097v1 |
| work_keys_str_mv | AT wensu formalisingthecontinuousdiscretemodelingstep AT huibiaozhu formalisingthecontinuousdiscretemodelingstep AT richardbanach formalisingthecontinuousdiscretemodelingstep AT runleihuang formalisingthecontinuousdiscretemodelingstep |