\textsc{HyFlow}: formalism, semantics, and applications

DOI10.1007/S10626-023-00390-YMaRDI QIDQ6544791zbMATH OpenFDO

Authors Fernando J. Barros

Publication date 27 May 2024

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10626-023-00390-Y

zbMATH Keywords

co-simulationhybrid modelsmodeling \& simulationoperational semanticsperformance analysisprocess interaction worldview

Mathematics Subject Classification ID

Mathematical modeling or simulation for problems pertaining to systems and control theory (93-10) Discrete event control/observation systems (93C65)

Recommendations

• HYPE: hybrid modelling by composition of flows
• Hybrid Semantics for Stochastic π-Calculus
• HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
• Hybrid dynamics of stochastic -calculus
• Syntax and consistent equation semantics of hybrid Chi

Cites work

• A modification of the process interaction world view
• Control of systems integrating logic, dynamics, and constraints
• Flexible nets: a modeling formalism for dynamic systems with uncertain parameters
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 3548491 (Why is no real title available?)
• scientific article; zbMATH DE number 1852153 (Why is no real title available?)
• On hybrid Petri nets
• SIMULA: an ALGOL-based simulation language
• SYSTEM THEORETIC FORMALISMS FOR COMBINED DISCRETE-CONTINUOUS SYSTEM SIMULATION
• The algebra of timed processes, ATP: Theory and application
• Towards a theory of continuous flow models

This page was built for publication: \(\pi\)\textsc{HyFlow}: formalism, semantics, and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6544791)