A Hybrid Denotational Semantics for Hybrid Systems

DOI10.1007/978-3-540-78739-6_5zbMath1133.68369OpenAlexW1584038246MaRDI 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

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (3)

A Hybrid Denotational Semantics for Hybrid Systems ⋮ Proving the Correctness of the Implementation of a Control-Command Algorithm ⋮ Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point

Uses Software

• ASTREE

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Hybrid Denotational Semantics for Hybrid Systems