Back to University of Twente portal
Towards a Formal Framework for Multidimensional Codesign
Bujorianu, L.M. and Bujorianu, M.C. (2008) Towards a Formal Framework for Multidimensional Codesign. [Report]
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 200Kb |
| Abstract: | Multidimensional codesign is a recently proposed paradigm for integrating different system dimensions in sensor networks. Examples of such dimensions are logical and physical mobility, continuous and discrete transitions, deterministic and random evolutions and features resulting from their interaction, like deterministic and stochastic hybrid behaviours. In this paper, we propose a unifying computational model that considers multiple dimensions and an integration framework based on domain theory. In this framework new dimensions can be incrementally added, and we illustrate this technique by adding logical mobility to the computational model. The new model has a very promising modelling power, offering all formal ingredients of a neural network. We further investigate bisimulation for systems mixing physical and logical mobility. We identify and solve a compatibility problem between bisimulation relations arising from mobility and continuous behaviours. |
| Item Type: | Report |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Link to this item: | http://purl.utwente.nl/publications/64679 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page
Metis ID: 250905