HYPE: hybrid modelling by composition of flows

DOI10.1007/s00165-011-0189-0zbMath1298.68191OpenAlexW2041228127MaRDI QIDQ470011

Luca Bortolussi, Jane Hillston, Vashti Galpin

Publication date: 11 November 2014

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-011-0189-0

zbMATH Keywords

hybrid systemsprocess algebracompositionalityflowsbisimulation

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Hybrid semantics for Bio-PEPA, A Calculus of Cyber-Physical Systems, A probabilistic calculus of cyber-physical systems, Mean-Field Limits Beyond Ordinary Differential Equations, Hybrid behaviour of Markov population models

Uses Software

• HyTech

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modular and visual specification of hybrid systems: An introduction to HyCharts
• Hybrid process algebra
• Process algebra for hybrid systems
• Hybrid action systems
• An efficient algorithm for computing bisimulation equivalence
• O-minimal hybrid systems.
• Compositional modeling and refinement for hierarchical hybrid systems
• Syntax and consistent equation semantics of hybrid Chi
• Notions of bisimulation and congruence formats for SOS with data
• Bisimulation relations for dynamical, control, and hybrid systems
• HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
• On Simulations and Bisimulations of General Flow Systems
• HYPE Applied to the Modelling of Hybrid Biological Systems
• Comparison of hybrid systems and fluid stochastic Petri nets