Pages that link to "Item:Q5898656"
From MaRDI portal
The following pages link to Languages and Tools for Hybrid Systems Design (Q5898656):
Displaying 7 items.
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (Q254170) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Non-standard semantics of hybrid systems modelers (Q439952) (← links)
- Some problems of analysis of hybrid automata (Q1616244) (← links)
- Cyber-physical systems (Q1699390) (← links)
- Approximating Behaviors in Embedded System Design (Q3507398) (← links)
- A type-based analysis of causality loops in hybrid systems modelers (Q5915766) (← links)
