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

DOI10.1016/J.ENTCS.2005.12.080MaRDI QIDQ5262960zbMATH OpenOpenAlexFDO

Authors 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

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)

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

Cites work

• scientific article; zbMATH DE number 1566482 (Why is no real title available?)
• scientific article; zbMATH DE number 3933369 (Why is no real title available?)
• scientific article; zbMATH DE number 1876862 (Why is no real title available?)
• scientific article; zbMATH DE number 3232606 (Why is no real title available?)
• scientific article; zbMATH DE number 3344529 (Why is no real title available?)
• scientific article; zbMATH DE number 3186512 (Why is no real title available?)
• Hybrid I/O automata.
• Hybrid process algebra
• Operational semantics for timed systems. A non-standard approach to uniform modeling of timed and hybrid systems.
• Process algebra for hybrid systems
• Syntax and consistent equation semantics of hybrid Chi
• Topological (bi-)simulation

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)