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

DOI10.1016/J.ENTCS.2005.12.080zbMATH Open1316.68091OpenAlexW1523823619MaRDI QIDQ5262960FDOQ5262960

P. J. L. Cuijpers, Michel A. 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

Recommendations

• Hybrid Systems: Computation and Control
• Topological approach for abstract systems
• Logical analysis of hybrid systems: a complete answer to a complexity challenge
• Non-standard semantics of hybrid systems modelers
• scientific article; zbMATH DE number 1444368

zbMATH Keywords

topologycontinuityhybrid systemsnonstandard 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)

Cites Work

• Hybrid process algebra
• Process algebra for hybrid systems
• Syntax and consistent equation semantics of hybrid Chi
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Operational semantics for timed systems. A non-standard approach to uniform modeling of timed and hybrid systems.
• Hybrid I/O automata.
• Title not available (Why is that?)
• Topological (bi-)simulation
• Title not available (Why is that?)

Cited In (2)

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

This page was built for publication: Topological aspects of hybrid processes: a proposed treatment using non-standard analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262960)