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

DOI10.1007/B135629MaRDI QIDQ2565500zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Advances in verification of time Petri nets and timed automata. A temporal logic approach.
• From ATP to timed graphs and hybrid systems
• The theory of timed I/O automata
• Modeling Timed Concurrent Systems
• Modeling time in computing.

Cited in

(8)

• Toward a clarity of the extreme value theorem
• Programming with Infinitesimals: A While-Language for Hybrid System Modeling
• 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
• A Nonstandard Functional Programming Language
• Topological aspects of hybrid processes: a proposed treatment using non-standard analysis
• Abstract State Machines 2004. Advances in Theory and Practice
• An integer construction of infinitesimals: toward a theory of eudoxus hyperreals

Describes a project that uses

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.

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