Bujorianu, Manuela and Bujorianu, Marius C. (2008) Bisimulation, logic and mobility for Markovian systems. In: Eighteenth International symposium on Mathematical Theory of Networks and Systems (MTNS2008) , Virginia, USA, 28 Jul - 2 Aug 2008. Published in: Proceedings of the 18th International Symposium on Mathematical Theory of Networks & Systems, 28 July - 1 August 2008, Blacksburg, Virginia, USA

Full text not available from this repository.

Abstract

Nowadays, anyone can easily observe an explosive development in distributed embedded systems like sensor networks, gene regulatory networks and other system biology areas. A general tendency in this development is the integration of different features, like mobility, randomness, continuity and discrete/continuous mixed behaviors. In this paper, we present two formal mechanisms for developing a formal framework, in which these various features can be investigated altogether. One mechanism represents a unifying axiomatization of deterministic and stochastic automata, in the spirit of the recently introduced paradigm called Hilbertian formal methods [6]. The second one proposes a generic technique based on the categorical domain theory for adding new features to an existing model. This mechanism constitutes a formal approach to a recent development paradigm called multi-dimensional codesign [5]. In the limited space of this paper, we restrict our presentation to a class of systems that mix continuous evolutions with logical mobility.

Item Type:	Conference Item (Paper)
Divisions:	Faculty of Science > Mathematics
Journal or Publication Title:	Proceedings of the 18th International Symposium on Mathematical Theory of Networks & Systems, 28 July - 1 August 2008, Blacksburg, Virginia, USA
Publisher:	SIAM Publishing House
Date:	2008
Status:	Peer Reviewed
Publication Status:	Published
Conference Paper Type:	Paper
Title of Event:	Eighteenth International symposium on Mathematical Theory of Networks and Systems (MTNS2008)
Type of Event:	Conference
Location of Event:	Virginia, USA
Date(s) of Event:	28 Jul - 2 Aug 2008
URI:	http://wrap.warwick.ac.uk/id/eprint/49172

Request changes to a record

Actions (login required)

View Item