Topological Aspects of Hybrid Processes: A Proposed Treatment Using Non-standard Analysis

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.