Linearization of hybrid processes

DOI10.1016/j.jlap.2005.10.003zbMath1088.68137OpenAlexW2111271492MaRDI QIDQ2368694

P. C. W. van den Brand, Michel Reniers, Pieter J. L. Cuijpers

Publication date: 28 April 2006

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.2005.10.003

Mathematics Subject Classification ID

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

Related Items (5)

Linearization of hybrid processes ⋮ Syntax and consistent equation semantics of hybrid Chi ⋮ Repairing time-determinism in the process algebra for hybrid systems ⋮ A linear process-algebraic format with data for probabilistic automata ⋮ Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi

Cites Work

• Unnamed Item
• Unnamed Item
• From ATP to timed graphs and hybrid systems
• Hybrid I/O automata.
• Hybrid process algebra
• Process algebra for hybrid systems
• An introduction to hybrid dynamical systems
• Linearization of hybrid processes
• Notions of bisimulation and congruence formats for SOS with data
• Process Algebra
• Topological Aspects of Hybrid Processes
• Linearization in parallel pCRL

This page was built for publication: Linearization of hybrid processes