Pages that link to "Item:Q5458386"
From MaRDI portal
The following pages link to A Hybrid Denotational Semantics for Hybrid Systems (Q5458386):
Displaying 10 items.
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (Q254170) (← links)
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- On symbolic hybrid systems (Q999561) (← links)
- Syntax and semantics of the compositional interchange format for hybrid systems (Q1932345) (← links)
- Implementing hybrid semantics: from functional to imperative (Q2037951) (← links)
- From synchronous programs to symbolic representations of hybrid systems (Q2985863) (← links)
- Proving the Correctness of the Implementation of a Control-Command Algorithm (Q3392923) (← links)
- (Q4472454) (← links)
- A Hybrid Denotational Semantics for Hybrid Systems (Q5458386) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717491) (← links)