Pages that link to "Item:Q2387414"
From MaRDI portal
The following pages link to On the expressiveness and decidability of o-minimal hybrid systems (Q2387414):
Displaying 8 items.
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Specifications for decidable hybrid games (Q650914) (← links)
- PTIME parametric verification of safety properties for reasonable linear hybrid automata (Q1949771) (← links)
- Stabilization of bilinear switching control systems by a mode-dependent average dwell time strategy (Q2056153) (← links)
- Polynomial interrupt timed automata: verification and expressiveness (Q2662502) (← links)
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation (Q3465677) (← links)
- (Q5079750) (← links)
- Formal language properties of hybrid systems with strong resets (Q5190079) (← links)
