Topological Aspects of Hybrid Processes

DOI10.1016/J.ENTCS.2005.12.080zbMath1316.68091OpenAlexW1523823619MaRDI QIDQ5262960

Pieter J. L. Cuijpers, Michel Reniers

Publication date: 10 July 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2005.12.080

zbMATH Keywords

continuityhybrid systemstopologynonstandard analysisapproximate simulationimprecise measurementsllimit-preservationtopological transition systemsZeno-phenomena

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Other applications of nonstandard models (economics, physics, etc.) (03H10)

Related Items (2)

Linearization of hybrid processes ⋮ Notions of bisimulation and congruence formats for SOS with data

Cites Work

• Hybrid I/O automata.
• Hybrid process algebra
• Process algebra for hybrid systems
• Syntax and consistent equation semantics of hybrid Chi
• Operational semantics for timed systems. A non-standard approach to uniform modeling of timed and hybrid systems.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Topological Aspects of Hybrid Processes