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.
|Title of host publication||Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005)|
|Editors||L. Aceto, A.D. Gordon|
|Publication status||Published - 2006|
|Name||Electronic Notes in Theoretical Computer Science|