The following pages link to (Q4552459):
Displaying 12 items.
- Low dimensional hybrid systems -- decidable, undecidable, don't know (Q418141) (← links)
- Straightening out rectangular differential inclusions (Q1274877) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- Algorithmic analysis of polygonal hybrid systems. I: Reachability (Q2373713) (← links)
- On the expressiveness and decidability of o-minimal hybrid systems (Q2387414) (← links)
- Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools (Q2474069) (← links)
- On the complexity of bounded time and precision reachability for piecewise affine systems (Q2636516) (← links)
- (Q3384178) (← links)
- On The Complexity of Bounded Time Reachability for Piecewise Affine Systems (Q3447692) (← links)
- Reachability in Linear Dynamical Systems (Q3507439) (← links)
- Computing Omega-Limit Sets in Linear Dynamical Systems (Q3543335) (← links)
- Language-Based Abstraction Refinement for Hybrid System Verification (Q5452604) (← links)