Comparison of Hybrid Systems and Fluid Stochastic PetriNets
Discrete Event Dynamic Systems
Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts
Formal Methods in System Design
Theoretical Computer Science
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Process algebra for hybrid systems
Theoretical Computer Science - Process algebra
Fluid Flow Approximation of PEPA models
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Bisimulation relations for dynamical, control, and hybrid systems
Theoretical Computer Science
HYPE Applied to the Modelling of Hybrid Biological Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
On simulations and bisimulations of general flow systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
The φ-calculus: a language for distributed control of reconfigurable embedded systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Rigorous discretization of hybrid systems using process calculi
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Repairing time-determinism in the process algebra for hybrid systems ACPhssrt
Theoretical Computer Science
A compositional approach for modeling and simulation of bio-molecular systems
Proceedings of the Winter Simulation Conference
PCTMC models of wireless sensor network protocols
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
PCTMC models of wireless sensor network protocols
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Hi-index | 0.00 |
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolithically, often with the differential equations embedded explicitly in the syntax of the process algebra expression. In HYPE an alternative approach is taken which offers finer-grained modelling with each flow or influence affecting a variable modelled separately. The overall behaviour then emerges as the composition of these flows. This approach is supported by an operational semantics which distinguishes states as collections of flows and which is supported by an equivalence which satisfies the property that bisimilar HYPE models give rise to the same sets of continuous behaviours.