Bisimulation, logic and mobility for Markovian systems
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, USAFull text not available from this repository.
Official URL: http://www.cpe.vt.edu/mtns08/
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 . 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 . 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|
|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|
Actions (login required)