scientific article; zbMATH DE number 1956646

zbMath1032.93036MaRDI QIDQ4418858

Hosung Song, William C. Rounds

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2623/26230435.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (16)

Continuity controlled hybrid automata ⋮ Compositional modeling and refinement for hierarchical hybrid systems ⋮ Syntax and consistent equation semantics of hybrid Chi ⋮ HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour ⋮ 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 ⋮ An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems ⋮ HYPE Applied to the Modelling of Hybrid Biological Systems ⋮ Hybrid process algebra ⋮ A Calculus of Cyber-Physical Systems ⋮ Pure bigraphs: structure and dynamics ⋮ Process algebra for hybrid systems ⋮ An algebra of hybrid systems ⋮ A probabilistic calculus of cyber-physical systems ⋮ Relating Hybrid Chi to Other Formalisms

This page was built for publication: