Operational semantics for timed systems. A non-standard approach to uniform modeling of timed and hybrid systems.

DOI10.1007/b135629zbMath1070.68087OpenAlexW2494994827MaRDI QIDQ2565500

Heinrich Rust

Publication date: 27 September 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b135629

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Other applications of nonstandard models (economics, physics, etc.) (03H10)

Related Items (7)

A Nonstandard Functional Programming Language ⋮ Ten misconceptions from the history of analysis and their debunking ⋮ Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond ⋮ Programming with Infinitesimals: A While-Language for Hybrid System Modeling ⋮ An integer construction of infinitesimals: toward a theory of eudoxus hyperreals ⋮ Toward a clarity of the extreme value theorem ⋮ Topological Aspects of Hybrid Processes

Uses Software

• Rabbit
• PVS

This page was built for publication: Operational semantics for timed systems. A non-standard approach to uniform modeling of timed and hybrid systems.