Hybrid process algebra

DOI10.1016/J.JLAP.2004.02.001zbMath1090.68071OpenAlexW2044667269WikidataQ114851569 ScholiaQ114851569MaRDI QIDQ1763160

Pieter J. L. Cuijpers, Michel Reniers

Publication date: 22 February 2005

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2004.02.001

zbMATH Keywords

Hybrid systemsProcess algebraDiscrete eventsFlowsDiscontinuitiesHybrid interaction

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (26)

Modelling and analysing neural networks using a hybrid process algebra ⋮ Skill-Based Verification of Cyber-Physical Systems ⋮ Continuity controlled hybrid automata ⋮ Linearization of hybrid processes ⋮ Compositional modeling and refinement for hierarchical hybrid systems ⋮ Syntax and consistent equation semantics of hybrid Chi ⋮ Bisimulation maps in presheaf categories ⋮ Rigorous Discretization of Hybrid Systems Using Process Calculi ⋮ Verification of Hybrid Systems ⋮ HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour ⋮ Duplication of constants in process algebra ⋮ Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions ⋮ Repairing time-determinism in the process algebra for hybrid systems ⋮ HYPE: hybrid modelling by composition of flows ⋮ A ground-complete axiomatization of stateless bisimilarity over Linda ⋮ A compositional modelling and analysis framework for stochastic hybrid systems ⋮ HYPE Applied to the Modelling of Hybrid Biological Systems ⋮ Hybrid process algebra ⋮ A Calculus of Cyber-Physical Systems ⋮ Notions of bisimulation and congruence formats for SOS with data ⋮ A brief history of process algebra ⋮ Process algebra for hybrid systems ⋮ A Hybrid Denotational Semantics for Hybrid Systems ⋮ A probabilistic calculus of cyber-physical systems ⋮ Relating Hybrid Chi to Other Formalisms ⋮ Topological Aspects of Hybrid Processes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Redesign of a systems engineering language: formalisation of \(\chi\)
• Mathematical methods of specification and synthesis of software systems '85. Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985
• Global renaming operators in concrete process algebra
• A calculus of communicating systems
• An axiomatic proof technique for parallel programs
• Control of systems integrating logic, dynamics, and constraints
• Process algebra with propositional signals
• Hybrid I/O automata.
• Hybrid process algebra
• Process algebra for hybrid systems
• An introduction to hybrid dynamical systems
• Process algebra with timing
• Hybrid action systems
• O-minimal hybrid systems.
• Compositionality issues in discrete, continuous, and hybrid systems
• Bisimulation Relations for Dynamical and Control Systems
• Nonlinear regulation: The piecewise linear approach
• Process Algebra
• Complementarity modeling of hybrid systems
• Differential Petri nets: representing continuous systems in a discrete-event world
• Formal specification and analysis of production systems
• Formal Modeling and Analysis of Timed Systems
• Analysis of three hybrid systems in timed \(\mu CRL\)
• Special issue: Hybrid Petri nets
• Equivalence of hybrid dynamical models

This page was built for publication: Hybrid process algebra