### Abstract

Original language | Undefined |
---|---|

Place of Publication | Enschede |

Publisher | Centre for Telematics and Information Technology (CTIT) |

Number of pages | 11 |

Publication status | Published - Jan 2008 |

### Publication series

Name | CTIT Technical Report Series |
---|---|

Publisher | Centre for Telematics and Information Technology, University of Twente |

No. | TR-CTIT-08-20 |

ISSN (Print) | 1381-3625 |

### Keywords

- MSC-91B70
- EWI-12106
- IR-64678
- METIS-250904

### Cite this

*Uncertainty and Reconfigurability in Hilbertean Formal Methods*. (CTIT Technical Report Series; No. TR-CTIT-08-20). Enschede: Centre for Telematics and Information Technology (CTIT).

}

*Uncertainty and Reconfigurability in Hilbertean Formal Methods*. CTIT Technical Report Series, no. TR-CTIT-08-20, Centre for Telematics and Information Technology (CTIT), Enschede.

**Uncertainty and Reconfigurability in Hilbertean Formal Methods.** / Bujorianu, M.C.; Bujorianu, L.M.

Research output: Book/Report › Report › Professional

TY - BOOK

T1 - Uncertainty and Reconfigurability in Hilbertean Formal Methods

AU - Bujorianu, M.C.

AU - Bujorianu, L.M.

PY - 2008/1

Y1 - 2008/1

N2 - Hilbertian Formal Methods is a recently introduced paradigm for embedded systems operating in harsh physical environments. This paradigm has been more developed for the deterministic case. However, it is very rare that a physical environment follows precisely a deterministic rule and then it is more realistic to consider stochastic models. A major problem in dealing with stochastic differential equations, the ubiquitous mathematical for phenomena arising from biology, medicine, meteorology and other domains, is that they can be solved only for very particular classes (linear and quasi linear). The Hilbertian Formal Methods are designed for situations when the solutions are not known (like for non-linear stochastic equations), but enough mathematical information about them can be derived helping in solving problems like stability, controllability, convergence, system design and verification. In this paper, we present an integrated formal model for embedded systems operating in uncertain and nonlinear environments that can reconfigure their communication structure. This is achieved by introducing the observability logic, which is a formal notation for the observations of environment evolutions. This logic is integrated with a probabilistic version of the Pi-calculus that makes possible the real time communication of the measurements of the continuous evolutions, concurrency and reconfiguration of the embedded system. For example, these characteristics are necessary for mobile robot brigades, storm surge barrier systems, sensor networks or cardiac stimulators.

AB - Hilbertian Formal Methods is a recently introduced paradigm for embedded systems operating in harsh physical environments. This paradigm has been more developed for the deterministic case. However, it is very rare that a physical environment follows precisely a deterministic rule and then it is more realistic to consider stochastic models. A major problem in dealing with stochastic differential equations, the ubiquitous mathematical for phenomena arising from biology, medicine, meteorology and other domains, is that they can be solved only for very particular classes (linear and quasi linear). The Hilbertian Formal Methods are designed for situations when the solutions are not known (like for non-linear stochastic equations), but enough mathematical information about them can be derived helping in solving problems like stability, controllability, convergence, system design and verification. In this paper, we present an integrated formal model for embedded systems operating in uncertain and nonlinear environments that can reconfigure their communication structure. This is achieved by introducing the observability logic, which is a formal notation for the observations of environment evolutions. This logic is integrated with a probabilistic version of the Pi-calculus that makes possible the real time communication of the measurements of the continuous evolutions, concurrency and reconfiguration of the embedded system. For example, these characteristics are necessary for mobile robot brigades, storm surge barrier systems, sensor networks or cardiac stimulators.

KW - MSC-91B70

KW - EWI-12106

KW - IR-64678

KW - METIS-250904

M3 - Report

T3 - CTIT Technical Report Series

BT - Uncertainty and Reconfigurability in Hilbertean Formal Methods

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -