Hybrid action systems (Q1853618)

From MaRDI portal
Revision as of 08:35, 10 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: author (P16): Item:Q172356)
scientific article
Language Label Description Also known as
English
Hybrid action systems
scientific article

    Statements

    Hybrid action systems (English)
    0 references
    0 references
    0 references
    21 January 2003
    0 references
    In this paper we investigate the use of action systems with differential actions in the specification of hybrid systems. As the main contribution we generalize the definition of a differential action, allowing the use of arbitrary relations over model variables and their time derivatives in modelling continuous-time dynamics. The generalized differential action has an intuitively appealing predicate transformer semantics, which we show to be both conjunctive and monotonic. In addition, we show that differential actions blend smoothly with conventional actions in action systems even under parallel composition. Moreover, as the strength of the action system formalism is the support for stepwise development by refinement, we investigate refinement involving a differential action. We show that, due to the predicate transformer semantics, standard action refinement techniques apply also to the differential action, thus, allowing stepwise development of hybrid systems.
    0 references
    hybrid systems
    0 references
    predicate transformers
    0 references
    action systems
    0 references
    refinement calculus
    0 references
    concurrency
    0 references

    Identifiers