Hybrid action systems

DOI10.1016/S0304-3975(02)00547-9zbMath1019.68054MaRDI 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 systems; refinement calculus; concurrency; predicate transformers; action systems

Mathematics Subject Classification ID

68Q45: Formal languages and automata

Related Items

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

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