Towards a Formal Framework for Multidimensional Codesign

L.M. Bujorianu, M.C. Bujorianu

Research output: Book/ReportReportProfessional

13 Downloads (Pure)

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.
Original languageUndefined
Place of PublicationEnschede
PublisherCentre for Telematics and Information Technology (CTIT)
Number of pages16
Publication statusPublished - 13 Mar 2008

Publication series

NameCTIT Technical Report Series
PublisherCentre for Telematics and Information Technology, University of Twente
No.TR-CTIT-08-21
ISSN (Print)1381-3625

Keywords

  • MSC-68Q85
  • EWI-12108
  • IR-64679
  • METIS-250905

Cite this

Bujorianu, L. M., & Bujorianu, M. C. (2008). Towards a Formal Framework for Multidimensional Codesign. (CTIT Technical Report Series; No. TR-CTIT-08-21). Enschede: Centre for Telematics and Information Technology (CTIT).
Bujorianu, L.M. ; Bujorianu, M.C. / Towards a Formal Framework for Multidimensional Codesign. Enschede : Centre for Telematics and Information Technology (CTIT), 2008. 16 p. (CTIT Technical Report Series; TR-CTIT-08-21).
@book{75e159bc89a248b9847e86ea53dd4f7b,
title = "Towards a Formal Framework for Multidimensional Codesign",
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.",
keywords = "MSC-68Q85, EWI-12108, IR-64679, METIS-250905",
author = "L.M. Bujorianu and M.C. Bujorianu",
year = "2008",
month = "3",
day = "13",
language = "Undefined",
series = "CTIT Technical Report Series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "TR-CTIT-08-21",
address = "Netherlands",

}

Bujorianu, LM & Bujorianu, MC 2008, Towards a Formal Framework for Multidimensional Codesign. CTIT Technical Report Series, no. TR-CTIT-08-21, Centre for Telematics and Information Technology (CTIT), Enschede.

Towards a Formal Framework for Multidimensional Codesign. / Bujorianu, L.M.; Bujorianu, M.C.

Enschede : Centre for Telematics and Information Technology (CTIT), 2008. 16 p. (CTIT Technical Report Series; No. TR-CTIT-08-21).

Research output: Book/ReportReportProfessional

TY - BOOK

T1 - Towards a Formal Framework for Multidimensional Codesign

AU - Bujorianu, L.M.

AU - Bujorianu, M.C.

PY - 2008/3/13

Y1 - 2008/3/13

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

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

KW - MSC-68Q85

KW - EWI-12108

KW - IR-64679

KW - METIS-250905

M3 - Report

T3 - CTIT Technical Report Series

BT - Towards a Formal Framework for Multidimensional Codesign

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -

Bujorianu LM, Bujorianu MC. Towards a Formal Framework for Multidimensional Codesign. Enschede: Centre for Telematics and Information Technology (CTIT), 2008. 16 p. (CTIT Technical Report Series; TR-CTIT-08-21).