Process algebra for hybrid systems

DOI10.1016/J.TCS.2004.04.019MaRDI QIDQ1781998zbMATH OpenOpenAlexFDO

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

Continuous relative timingHybrid systemsProcess algebraPropositional 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

• 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 CRL
• Continuity controlled hybrid automata
• Discrete time process algebra and the semantics of SDL
• 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?)
• Hybrid I/O automata.
• Hybrid process algebra
• Hybrid systems
• HyTech: A model checker for 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.
• 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.
• TIC: a tImed calculus
• Topological (bi-)simulation
• Variable binding operators in transition system specifications

Cited in

(32)

• An algebra of hybrid systems
• Process algebra with propositional signals
• Hybrid process algebra
• A brief history of process algebra
• Process algebras for systems diagnosis.
• A probabilistic calculus 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
• On process rate semantics
• Notions of bisimulation and congruence formats for SOS with data
• Splitting bisimulations and retrospective conditions
• Modelling and analysing neural networks using a hybrid process algebra
• Relating hybrid chi to other formalisms
• Process algebra for modal transition systemses
• 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 —
• Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
• Rule formats for determinism and idempotence
• Repairing time-determinism in the process algebra for hybrid systems
• scientific article; zbMATH DE number 1759488 (Why is no real title available?)
• HYPE: hybrid modelling by composition of flows
• scientific article; zbMATH DE number 2113973 (Why is no real title available?)
• Topological aspects of hybrid processes: a proposed treatment using non-standard analysis
• HYPE Applied to the Modelling of Hybrid Biological Systems
• Fixing Zeno gaps
• A calculus of cyber-physical systems
• Integrated Formal Methods
• Modular analysis of distributed hybrid systems using post-regions

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)