A Hybrid Denotational Semantics for Hybrid Systems

DOI10.1007/978-3-540-78739-6_5MaRDI QIDQ5458386zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Foundations of Software Science and Computation Structures
• Denotational semantics of hybrid automata
• Hybrid Systems: Computation and Control
• Verification of Hybrid Systems
• scientific article; zbMATH DE number 744075

Cites work

• A Hybrid Denotational Semantics for Hybrid Systems
• A lattice-theoretical fixpoint theorem and its applications
• Algorithmic analysis of nonlinear hybrid systems
• Computing with continuous change
• Domain theory and differential calculus (functions of one variable)
• Foundations of Software Science and Computation Structures
• Foundations of Software Science and Computational Structures
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 1301619 (Why is no real title available?)
• scientific article; zbMATH DE number 2087547 (Why is no real title available?)
• scientific article; zbMATH DE number 1444338 (Why is no real title available?)
• Hybrid process algebra
• Programming Languages and Systems
• Programming Languages and Systems
• Syntax and consistent equation semantics of hybrid Chi
• The algorithmic analysis of hybrid systems
• Validated solutions of initial value problems for ordinary differential equations
• Variance analyses from invariance analyses

Cited in

(18)

• A hybrid relational modelling language
• Syntax and semantics of the compositional interchange format for hybrid systems
• Implementing hybrid semantics: from functional to imperative
• Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
• Denotational semantics of hybrid automata
• A formal model for a hybrid programming language
• Towards a UTP semantics for Modelica
• From synchronous programs to symbolic representations of hybrid systems
• From hybrid data-flow languages to hybrid automata: a complete translation
• Proving the Correctness of the Implementation of a Control-Command Algorithm
• Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
• Non-standard semantics of hybrid systems modelers
• scientific article; zbMATH DE number 2080212 (Why is no real title available?)
• A Hybrid Denotational Semantics for Hybrid Systems
• Hybrid Systems: Computation and Control
• Formal Modeling and Analysis of Timed Systems
• Foundations of Software Science and Computation Structures
• On symbolic hybrid systems

Describes a project that uses

Uses Software

• ASTREE

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

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