Back to University of Twente portal
Uncertainty and Reconfigurability in Hilbertean Formal Methods
Bujorianu, M.C. and Bujorianu, L.M. (2008) Uncertainty and Reconfigurability in Hilbertean Formal Methods. [Report]
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 214Kb |
| Abstract: | 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. |
| Item Type: | Report |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Link to this item: | http://purl.utwente.nl/publications/64678 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page
Metis ID: 250904