Process algebra for hybrid systems

DOI10.1016/j.tcs.2004.04.019zbMath1080.68073OpenAlexW2077815947MaRDI QIDQ1781998

C. A. Middelburg, Jan A. Bergstra

Publication date: 10 June 2005

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://research.tue.nl/nl/publications/process-algebra-for-hybrid-systems(f2339464-0324-49f3-b983-5d18fe97af92).html

zbMATH Keywords

Hybrid systemsProcess algebraContinuous relative timingPropositional signalsState evolutionsState transitions

Mathematics Subject Classification ID

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

Related Items (24)

Modelling and analysing neural networks using a hybrid process algebra ⋮ Continuity controlled hybrid automata ⋮ Linearization of hybrid processes ⋮ Compositional modeling and refinement for hierarchical hybrid systems ⋮ Syntax and consistent equation semantics of hybrid Chi ⋮ Rigorous Discretization of Hybrid Systems Using Process Calculi ⋮ Verification of Hybrid Systems ⋮ HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour ⋮ Automated Reasoning for Hybrid Systems — Two Case Studies — ⋮ Rule formats for determinism and idempotence ⋮ 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 ⋮ 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 ⋮ Fixing Zeno gaps ⋮ Splitting bisimulations and retrospective conditions ⋮ A brief history of process algebra ⋮ An algebra of hybrid systems ⋮ A probabilistic calculus of cyber-physical systems ⋮ Relating Hybrid Chi to Other Formalisms ⋮ Topological Aspects of Hybrid Processes

Uses Software

• HyTech

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• Hybrid systems
• A calculus of durations
• TIC: a tImed calculus
• A theory of timed automata
• Real space process algebra
• Process algebra with guards: Combining hoare logic with process algebra
• The algebra of timed processes, ATP: Theory and application
• Process algebra with propositional signals
• Revisiting timing in process algebra.
• An alternative formulation of operational conservativity with binding terms.
• Hybrid I/O automata.
• Hybrid process algebra
• Process algebra with timing
• HyTech: A model checker for hybrid systems
• A process algebra for timed systems
• Continuity controlled hybrid automata
• Real time process algebra
• Algebra of timed frames
• Process Algebra
• Analysis of three hybrid systems in timed \(\mu CRL\)
• Variable binding operators in transition system specifications

This page was built for publication: Process algebra for hybrid systems