Topological aspects of hybrid processes : a proposed treatment using non-standard analysis

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005)
EditorsL. Aceto, A.D. Gordon
Pages153-158
DOIs
Publication statusPublished - 2006

Publication series

NameElectronic Notes in Theoretical Computer Science
Volume162
ISSN (Print)1571-0061

Fingerprint

Dive into the research topics of 'Topological aspects of hybrid processes : a proposed treatment using non-standard analysis'. Together they form a unique fingerprint.

Cite this