Pages that link to "Item:Q6044109"
From MaRDI portal
The following pages link to Modularity for timed and hybrid systems (Q6044109):
Displaying 13 items.
- Adequacy and complete axiomatization for timed modal logic (Q283762) (← links)
- A mechanism of function calls in MSVL (Q344760) (← links)
- Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems (Q388224) (← links)
- Understanding deadlock and livelock behaviors in hybrid control systems (Q924105) (← links)
- Hybrid I/O automata. (Q1427865) (← links)
- Deductive verification of real-time systems using STeP (Q1589585) (← links)
- Asymptotic properties of Zeno solutions (Q1730344) (← links)
- Languages and models for hybrid automata: a coalgebraic perspective (Q1786567) (← links)
- Discrete-time control for rectangular hybrid automata (Q1960531) (← links)
- On the regularization of Zeno hybrid automata (Q1978482) (← links)
- The fixed-point theory of strictly causal functions (Q2257306) (← links)
- Compositional modeling and refinement for hierarchical hybrid systems (Q2368695) (← links)
- Discrete-time control for rectangular hybrid automata (Q4571988) (← links)
