Pages that link to "Item:Q5941097"
From MaRDI portal
The following pages link to Deciding stability and mortality of piecewise affine dynamical systems (Q5941097):
Displayed 11 items.
- On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases (Q555774) (← links)
- Termination of linear programs with nonlinear constraints (Q604395) (← links)
- A dynamical system which must be stable whose stability cannot be proved (Q703488) (← links)
- On deciding stability of multiclass queueing networks under buffer priority scheduling policies (Q983890) (← links)
- Topological formulation of termination properties of iterates of functions (Q1029041) (← links)
- On the presence of periodic configurations in Turing machines and in counter machines. (Q1853547) (← links)
- STORMED Hybrid Systems (Q3519497) (← links)
- REACHABILITY PROBLEMS IN LOW-DIMENSIONAL ITERATIVE MAPS (Q3526544) (← links)
- On the Undecidability of the Tiling Problem (Q5448639) (← links)
- A survey of computational complexity results in systems and control (Q5926262) (← links)
- The stability of saturated linear dynamical systems is undecidable (Q5943100) (← links)