Pages that link to "Item:Q5898656"
From MaRDI portal
The following pages link to Languages and Tools for Hybrid Systems Design (Q5898656):
Displaying 13 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)
- Modelling framework for artificial hybrid dynamical systems (Q2060854) (← links)
- Mixed logical dynamical modeling of discrete-time hybrid fractional systems (Q2098436) (← links)
- Moded and continuous abstract state machines (Q2115900) (← links)
- A Formal Model for a Hybrid Programming Language (Q2814619) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Approximating Behaviors in Embedded System Design (Q3507398) (← links)
- Hybrid Systems: Computation and Control (Q5703950) (← links)
- A type-based analysis of causality loops in hybrid systems modelers (Q5915766) (← links)