The Library
Bisimulation, logic and mobility for Markovian systems
Tools
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
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://www.cpe.vt.edu/mtns08/
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, Engineering and Medicine > 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 | ||||
Official Date: | 2008 | ||||
Dates: |
|
||||
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 |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |