Bujorianu, Marius C. and Bujorianu, Manuela (2008) A randomized model for communicating embedded systems. In: 16th Mediterranean Conference on Control and Automation, 2008, Conference Center Ajaccio-Corsica, France, 25-27 Jun 2008. Published in: 2008 Mediterranean Conference on Control & Automation June 25-27, 2008, Conference Center Ajaccio-Corsica, France : conference proceedings pp. 1435-1440.

Full text not available from this repository.

Abstract

Nowadays, there is an intense research activity in designing systems that operate in real life, physical environments. This research is spanned by various areas in computer science and engineering: embedded systems, reactive systems, wireless communications, hybrid systems, stochastic processes, etc. A severe limitation in the development of these systems is due to the mathematical foundation and complexity of the physical environment. Often, the physical environment is continuous and uncertain, and modelled in terms of continuous stochastic processes. These mathematics are quite different from the underlying mathematics of discrete controllers based on logic and algebra. In this paper, we make further developments of Hilbertean formal methods, an integrated specification framework based with a rich algebraic semantics. This framework axiomatises and abstracts away advanced structures from functional and stochastic analysis. We integrate a probabilistic version of Pi-calculus to provide a rigorous framework for embedded systems with mobile and adaptive communication structure. The integration mechanism is based on partial ordered sets. The resulting framework has the modelling power of connectionist models like neural networks. Moreover, we construct an energy integral to every specification. The power of formal specification and stochastic analysis are combined in a rigorous mathematical framework for the software development of embedded systems. In this way, we achieve a new foundation for the multidimensional codesign.

Item Type:	Conference Item (Paper)
Divisions:	Faculty of Science > Mathematics
Journal or Publication Title:	2008 Mediterranean Conference on Control & Automation June 25-27, 2008, Conference Center Ajaccio-Corsica, France : conference proceedings
Publisher:	IEEE
ISSN:	9781424425051
Date:	2008
Page Range:	pp. 1435-1440
Identification Number:	10.1109/MED.2008.4602263
Status:	Peer Reviewed
Publication Status:	Published
Conference Paper Type:	Paper
Title of Event:	16th Mediterranean Conference on Control and Automation, 2008
Type of Event:	Conference
Location of Event:	Conference Center Ajaccio-Corsica, France
Date(s) of Event:	25-27 Jun 2008
URI:	http://wrap.warwick.ac.uk/id/eprint/49167

Request changes to a record

Actions (login required)

View Item