Topological aspects of hybrid processes : a proposed treatment using non-standard analysis
ConferentiebijdrageCuijpers, P.J.L. & Reniers, M.A. (2006). Topological aspects of hybrid processes : a proposed treatment using non-standard analysis. In A.D. Gordon & L. Aceto (Eds.), Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005) (pp. 153-158). (Electronic Notes in Theoretical Computer Science, No. 162). In Scopus Cited 0 times.
In the study of hybrid systems, one encounters problems of a topological nature such as the continuity of physical behavior, limit-behavior such as Zeno-phenomena and the influence of imprecise measurements. We discuss/define these topological problems on topological transition systems using non-standard analysis and discuss consequences and/or potential solutions.