Hybrid Action Systems

Mauno Ronkko, Anders P. Ravn

    Research output: Book/ReportReport

    Abstract

    An action system framework is a predicate transformer based method for modelling and analysing distributed and reactive systems. The actions in action systems are statements in Dijkstra's guarded command language, and their semantics is given by predicate transformers. Recently, we introduced a differential action, which allows differential equations as primitive actions. The extension allows us to model hybrid systems with both continuous and discrete behaviour. The main result of this paper is an extension of such a hybrid action system with parallel composition. The extension does not change the original meaning of the parallel composition, and therefore also the ordinary action systems can be composed in parallel with the hybrid action systems.
    Original languageEnglish
    Number of pages24
    Publication statusPublished - 1997

    Cite this

    Ronkko, M., & Ravn, A. P. (1997). Hybrid Action Systems.
    Ronkko, Mauno ; Ravn, Anders P. / Hybrid Action Systems. 1997. 24 p.
    @book{2f16062ddabd4cb6bf8bdf7fe9281776,
    title = "Hybrid Action Systems",
    abstract = "An action system framework is a predicate transformer based method for modelling and analysing distributed and reactive systems. The actions in action systems are statements in Dijkstra's guarded command language, and their semantics is given by predicate transformers. Recently, we introduced a differential action, which allows differential equations as primitive actions. The extension allows us to model hybrid systems with both continuous and discrete behaviour. The main result of this paper is an extension of such a hybrid action system with parallel composition. The extension does not change the original meaning of the parallel composition, and therefore also the ordinary action systems can be composed in parallel with the hybrid action systems.",
    author = "Mauno Ronkko and Ravn, {Anders P.}",
    year = "1997",
    language = "English",

    }

    Ronkko, M & Ravn, AP 1997, Hybrid Action Systems.

    Hybrid Action Systems. / Ronkko, Mauno; Ravn, Anders P.

    1997. 24 p.

    Research output: Book/ReportReport

    TY - RPRT

    T1 - Hybrid Action Systems

    AU - Ronkko, Mauno

    AU - Ravn, Anders P.

    PY - 1997

    Y1 - 1997

    N2 - An action system framework is a predicate transformer based method for modelling and analysing distributed and reactive systems. The actions in action systems are statements in Dijkstra's guarded command language, and their semantics is given by predicate transformers. Recently, we introduced a differential action, which allows differential equations as primitive actions. The extension allows us to model hybrid systems with both continuous and discrete behaviour. The main result of this paper is an extension of such a hybrid action system with parallel composition. The extension does not change the original meaning of the parallel composition, and therefore also the ordinary action systems can be composed in parallel with the hybrid action systems.

    AB - An action system framework is a predicate transformer based method for modelling and analysing distributed and reactive systems. The actions in action systems are statements in Dijkstra's guarded command language, and their semantics is given by predicate transformers. Recently, we introduced a differential action, which allows differential equations as primitive actions. The extension allows us to model hybrid systems with both continuous and discrete behaviour. The main result of this paper is an extension of such a hybrid action system with parallel composition. The extension does not change the original meaning of the parallel composition, and therefore also the ordinary action systems can be composed in parallel with the hybrid action systems.

    M3 - Report

    BT - Hybrid Action Systems

    ER -

    Ronkko M, Ravn AP. Hybrid Action Systems. 1997. 24 p.