Process algebra for hybrid systems

DOI10.1016/J.TCS.2004.04.019MaRDI QIDQ1781998zbMATHOpenAlexFDO

Authors 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

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)

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

Cites work

• scientific article; zbMATH DE number 1678357 (Why is no real title available?)
• scientific article; zbMATH DE number 3958712 (Why is no real title available?)
• scientific article; zbMATH DE number 177824 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1337736 (Why is no real title available?)
• scientific article; zbMATH DE number 1092328 (Why is no real title available?)
• scientific article; zbMATH DE number 1956646 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 1794359 (Why is no real title available?)
• scientific article; zbMATH DE number 1794375 (Why is no real title available?)
• scientific article; zbMATH DE number 1876862 (Why is no real title available?)
• scientific article; zbMATH DE number 2113973 (Why is no real title available?)
• scientific article; zbMATH DE number 1444347 (Why is no real title available?)
• scientific article; zbMATH DE number 3894457 (Why is no real title available?)
• A calculus of durations
• A process algebra for timed systems
• A theory of timed automata
• Algebra of timed frames
• An alternative formulation of operational conservativity with binding terms.
• Analysis of three hybrid systems in timed \(\mu CRL\)
• Continuity controlled hybrid automata
• Discrete time process algebra and the semantics of SDL
• HyTech: A model checker for hybrid systems
• Hybrid I/O automata.
• Hybrid process algebra
• Hybrid systems
• Process Algebra
• Process algebra with guards: Combining hoare logic with process algebra
• Process algebra with propositional signals
• Process algebra with timing
• Process algebra with timing: Real time and discrete time
• Real space process algebra
• Real time process algebra
• Revisiting timing in process algebra.
• Structural operational semantics.
• TIC: a tImed calculus
• The algebra of timed processes, ATP: Theory and application
• The algorithmic analysis of hybrid systems
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Topological (bi-)simulation
• Variable binding operators in transition system specifications

Cited in

(30)

• Topological aspects of hybrid processes: a proposed treatment using non-standard analysis
• Process algebras for systems diagnosis.
• A brief history of process algebra
• Rigorous discretization of hybrid systems using process calculi
• Linearization of hybrid processes
• Relating hybrid chi to other formalisms
• Rule formats for determinism and idempotence
• Fixing Zeno gaps
• HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
• A probabilistic calculus of cyber-physical systems
• Process algebra for modal transition systemses
• Repairing time-determinism in the process algebra for hybrid systems
• Compositional modeling and refinement for hierarchical hybrid systems
• scientific article; zbMATH DE number 2113973 (Why is no real title available?)
• HYPE Applied to the Modelling of Hybrid Biological Systems
• On process rate semantics
• HYPE: hybrid modelling by composition of flows
• A calculus of cyber-physical systems
• Automated Reasoning for Hybrid Systems — Two Case Studies —
• Verification of Hybrid Systems
• Integrated Formal Methods
• Continuity controlled hybrid automata
• Syntax and consistent equation semantics of hybrid Chi
• Splitting bisimulations and retrospective conditions
• Notions of bisimulation and congruence formats for SOS with data
• Hybrid process algebra
• scientific article; zbMATH DE number 1759488 (Why is no real title available?)
• Modelling and analysing neural networks using a hybrid process algebra
• An algebra of hybrid systems
• Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions

Describes a project that uses

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)