Process algebra for hybrid systems

DOI10.1016/J.TCS.2004.04.019zbMATH Open1080.68073OpenAlexW2077815947MaRDI QIDQ1781998FDOQ1781998

C. A. Middelburg, J. 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

Recommendations

• Hybrid process algebra
• Continuity controlled hybrid automata
• Repairing time-determinism in the process algebra for hybrid systems
• An algebra of hybrid systems
• A process algebra for timed systems

zbMATH Keywords

Process algebraHybrid systemsContinuous relative timingPropositional signalsState evolutionsState transitions

Mathematics Subject Classification ID

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

Cites Work

• HyTech: A model checker for hybrid systems
• A theory of timed automata
• Hybrid process algebra
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Structural operational semantics.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The algorithmic analysis of hybrid systems
• TIC: a tImed calculus
• The algebra of timed processes, ATP: Theory and application
• A process algebra for timed systems
• Real time process algebra
• Process algebra with propositional signals
• Process Algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• A calculus of durations
• Process algebra with timing
• Hybrid I/O automata.
• Hybrid systems
• Title not available (Why is that?)
• Process algebra with guards: Combining hoare logic with process algebra
• Title not available (Why is that?)
• Process algebra with timing: Real time and discrete time
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Variable binding operators in transition system specifications
• An alternative formulation of operational conservativity with binding terms.
• Real space process algebra
• Title not available (Why is that?)
• Revisiting timing in process algebra.
• Discrete time process algebra and the semantics of SDL
• Title not available (Why is that?)
• Topological (bi-)simulation
• Analysis of three hybrid systems in timed \(\mu CRL\)
• Continuity controlled hybrid automata
• Algebra of timed frames
• Title not available (Why is that?)

Cited In (29)

• Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
• Modelling and analysing neural networks using a hybrid process algebra
• HYPE: hybrid modelling by composition of flows
• HYPE Applied to the Modelling of Hybrid Biological Systems
• Fixing Zeno gaps
• An algebra of hybrid systems
• Rule formats for determinism and idempotence
• A probabilistic calculus of cyber-physical systems
• Repairing time-determinism in the process algebra for hybrid systems
• Hybrid process algebra
• Splitting bisimulations and retrospective conditions
• Process algebras for systems diagnosis.
• Integrated Formal Methods
• Verification of Hybrid Systems
• Syntax and consistent equation semantics of hybrid Chi
• Title not available (Why is that?)
• Notions of bisimulation and congruence formats for SOS with data
• Title not available (Why is that?)
• A brief history of process algebra
• Continuity controlled hybrid automata
• Rigorous Discretization of Hybrid Systems Using Process Calculi
• A Calculus of Cyber-Physical Systems
• Linearization of hybrid processes
• Relating hybrid chi to other formalisms
• Automated Reasoning for Hybrid Systems — Two Case Studies —
• Process algebra for modal transition systemses
• Topological Aspects of Hybrid Processes
• HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
• Compositional modeling and refinement for hierarchical hybrid systems

Uses Software

• HyTech

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

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