Pages that link to "Item:Q1367528"
From MaRDI portal
The following pages link to Reachability analysis of dynamical systems having piecewise-constant derivatives (Q1367528):
Displaying 6 items.
- On the decidability and complexity of problems for restricted hierarchical hybrid systems (Q338386) (← links)
- Computation with perturbed dynamical systems (Q355515) (← links)
- Low dimensional hybrid systems -- decidable, undecidable, don't know (Q418141) (← links)
- Interrupt timed automata: verification and expressiveness (Q453513) (← links)
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (Q547885) (← links)
- Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs (Q4918029) (← links)