A formal model for a hybrid programming language
From MaRDI portal
Recommendations
Cites work
- Advanced features of duration calculus and their applications in sequential hybrid programs
- From synchronous programs to symbolic representations of hybrid systems
- scientific article; zbMATH DE number 1507210 (Why is no real title available?)
- Hybrid I/O automata.
- Languages and Tools for Hybrid Systems Design
- Logical analysis of hybrid systems. Proving theorems for complex dynamics.
- The laws of Occam programming
- Theoretical Aspects of Computing - ICTAC 2004
- Towards a denotational semantics of timed RSL using duration calculus
Cited in
(8)- Unifying theories of time with generalised reactive processes
- A semantic model for interacting cyber-physical systems
- Towards a modeling language for cyber-physical systems
- Logic programming foundations of cyber-physical systems
- Programming with Infinitesimals: A While-Language for Hybrid System Modeling
- Formal models for some features of programming languages
- scientific article; zbMATH DE number 5042669 (Why is no real title available?)
- A semantic model for interacting cyber-physical systems
This page was built for publication: A formal model for a hybrid programming language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2814619)
