A Hybrid Denotational Semantics for Hybrid Systems

DOI10.1007/978-3-540-78739-6_5zbMath1133.68369MaRDI QIDQ5458386

Olivier Bouissou, Matthieu Martel

Publication date: 11 April 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78739-6_5

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68Q60: Specification and verification (program logics, model checking, etc.)

93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)

Related Items

A Hybrid Denotational Semantics for Hybrid Systems, Proving the Correctness of the Implementation of a Control-Command Algorithm

Uses Software

• ASTREE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• Computing with continuous change
• Hybrid process algebra
• Validated solutions of initial value problems for ordinary differential equations
• Syntax and consistent equation semantics of hybrid Chi
• A lattice-theoretical fixpoint theorem and its applications
• Variance analyses from invariance analyses
• Algorithmic analysis of nonlinear hybrid systems
• Domain theory and differential calculus (functions of one variable)
• Programming Languages and Systems
• A Hybrid Denotational Semantics for Hybrid Systems
• Programming Languages and Systems
• Foundations of Software Science and Computational Structures
• Foundations of Software Science and Computation Structures