Hybrid action systems
From MaRDI portal
Publication:1853618
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
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
