Hybrid action systems

DOI10.1016/S0304-3975(02)00547-9zbMath1019.68054OpenAlexW2019474894MaRDI QIDQ1853618

Anders P. Ravn, Mauno Rönkkö, Kaisa Sere

Publication date: 21 January 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(02)00547-9

zbMATH Keywords

hybrid systemsrefinement calculusconcurrencypredicate transformersaction systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (11)

Deriving Real-Time Action Systems Controllers from Multiscale System Specifications ⋮ HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour ⋮ Asynchronous correspondences between hybrid trajectory semantics ⋮ HYPE: hybrid modelling by composition of flows ⋮ An axiomatic approach to existence and liveness for differential equations ⋮ Hybrid process algebra ⋮ Reasoning about goal-directed real-time teleo-reactive programs ⋮ A formal framework for Hybrid Event B ⋮ Differential dynamic logic for hybrid systems ⋮ Relating Hybrid Chi to Other Formalisms ⋮ Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems

Cites Work

• Hybrid systems
• Compositional action system refinement
• Stability by Liapunov's direct method. With applications
• Formal methods for industrial applications. Specification and programming the Steam Boiler Control
• Refinement Calculus
• Hybrid automata with finite bisimulations
• Programming as a Discipline of Mathematical Nature
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Hybrid action systems