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...
| Үндсэн зохиолчид: | , , , |
|---|---|
| Формат: | Өгүүллэг |
| Хэл сонгох: | English |
| Хэвлэсэн: |
Open Publishing Association
2011-06-01
|
| Цуврал: | Electronic Proceedings in Theoretical Computer Science |
| Онлайн хандалт: | http://arxiv.org/pdf/1106.4097v1 |