Uncertainty and Reconfigurability in Hilbertean Formal Methods

M.C. Bujorianu, L.M. Bujorianu

    Research output: Book/ReportReportProfessional

    23 Downloads (Pure)

    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.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages11
    Publication statusPublished - Jan 2008

    Publication series

    NameCTIT Technical Report Series
    PublisherCentre 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

    Bujorianu, M. C., & Bujorianu, L. M. (2008). Uncertainty and Reconfigurability in Hilbertean Formal Methods. (CTIT Technical Report Series; No. TR-CTIT-08-20). Enschede: Centre for Telematics and Information Technology (CTIT).
    Bujorianu, M.C. ; Bujorianu, L.M. / Uncertainty and Reconfigurability in Hilbertean Formal Methods. Enschede : Centre for Telematics and Information Technology (CTIT), 2008. 11 p. (CTIT Technical Report Series; TR-CTIT-08-20).
    @book{07ef4f7f69e5459cb33e592476c7f119,
    title = "Uncertainty and Reconfigurability in Hilbertean Formal Methods",
    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.",
    keywords = "MSC-91B70, EWI-12106, IR-64678, METIS-250904",
    author = "M.C. Bujorianu and L.M. Bujorianu",
    year = "2008",
    month = "1",
    language = "Undefined",
    series = "CTIT Technical Report Series",
    publisher = "Centre for Telematics and Information Technology (CTIT)",
    number = "TR-CTIT-08-20",
    address = "Netherlands",

    }

    Bujorianu, MC & Bujorianu, LM 2008, 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.

    Enschede : Centre for Telematics and Information Technology (CTIT), 2008. 11 p. (CTIT Technical Report Series; No. TR-CTIT-08-20).

    Research output: Book/ReportReportProfessional

    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 -

    Bujorianu MC, Bujorianu LM. Uncertainty and Reconfigurability in Hilbertean Formal Methods. Enschede: Centre for Telematics and Information Technology (CTIT), 2008. 11 p. (CTIT Technical Report Series; TR-CTIT-08-20).