Action systems with continuous behaviour

DOI10.1007/3-540-49163-5_17MaRDI QIDQ4246828zbMATH OpenFDO

Authors Mauno Rönkkö, Anders P. Ravn

Publication date 13 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-49163-5_17

zbMATH Keywords

action systemscontinuous behaviordifferential actiondistributed and reactive systemshybrid systemssemantics

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Review text

Conventional action systems with a differential action consisting of a differential equation and an evolution guard are extended. The semantics is given by a weakest liberal precondition transformer. It is shown that the proposed differential action has a semantics that corresponds to a discrete approximation when the discrete step size goes to zero. The extension gives action systems the power to model real-time clocks and continuous evolutions within hybrid systems. In this paper, a standard form for such a hybrid action system is given. Also a parallel composition of hybrid action systems is extended. For the entire collection see [Zbl 0909.00062].

Recommendations

• Hybrid action systems
• Continuous action systems as a model for hybrid systems
• scientific article; zbMATH DE number 1696508
• Continuous Action System Refinement
• Refinement and continuous behaviour

Cited in

(12)

• An action-based formal model for concurrent real-time systems
• Object-oriented hybrid systems of coalgebras plus monoid actions
• Coordinating action systems
• Hybrid action systems
• Continuous action systems as a model for hybrid systems
• Linear hybrid action systems
• scientific article; zbMATH DE number 1696508 (Why is no real title available?)
• A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities
• Continuous Action System Refinement
• Refinement and continuous behaviour
• scientific article; zbMATH DE number 2080012 (Why is no real title available?)
• Action systems in incremental and aspect-oriented modeling

This page was built for publication: Action systems with continuous behaviour

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4246828)