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 16 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)
- O-minimal hybrid systems. (Q1975237) (← 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)
- Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets (Q3543289) (← links)
- Symbolic models for nonlinear control systems affected by disturbances (Q4897709) (← links)
- (Q5079750) (← links)
- Formal language properties of hybrid systems with strong resets (Q5190079) (← links)
- Hybrid Systems: Computation and Control (Q5307470) (← links)
- Computer Science Logic (Q5311274) (← links)
- Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata! (Q5434499) (← links)
- Language-Based Abstraction Refinement for Hybrid System Verification (Q5452604) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897961) (← links)