Pages that link to "Item:Q673870"
From MaRDI portal
The following pages link to Universal computation and other capabilities of hybrid and continuous dynamical systems (Q673870):
Displaying 26 items.
- Computation with perturbed dynamical systems (Q355515) (← links)
- Low dimensional hybrid systems -- decidable, undecidable, don't know (Q418141) (← links)
- Variable time step dynamics with choice (Q481270) (← links)
- A note on discreteness and virtuality in analog computing (Q870262) (← links)
- Stability analysis for systems with impulse effects (Q870788) (← links)
- An analytic system with a computable hyperbolic sink whose basin of attraction is non-computable (Q905698) (← links)
- A new conceptual framework for analog computation (Q1022610) (← links)
- A foundation for real recursive function theory (Q1032628) (← links)
- Computational bounds on polynomial differential equations (Q1036531) (← links)
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- Achilles and the tortoise climbing up the hyper-arithmetical hierarchy (Q1274806) (← links)
- On the computational power of dynamical systems and hybrid systems (Q1349871) (← links)
- Reachability analysis of dynamical systems having piecewise-constant derivatives (Q1367528) (← links)
- Continuous-time computation with restricted integration capabilities (Q1434373) (← links)
- Analog computation with dynamical systems (Q1586961) (← links)
- Target problems under state constraints for nonlinear controlled impulsive systems (Q1614712) (← links)
- Nonlinear impulse target problems under state constraint: a numerical analysis based on viability theory (Q1771258) (← links)
- An analog characterization of the Grzegorczyk hierarchy (Q1872639) (← links)
- Buridan's principle (Q1929306) (← links)
- Programming with ordinary differential equations: some first steps towards a programming language (Q2104250) (← links)
- Computability with polynomial differential equations (Q2482915) (← links)
- An RNA-based theory of natural universal computation (Q2670144) (← links)
- Computability and Dynamical Systems (Q2908425) (← links)
- Unbounded viscosity solutions of hybrid control systems (Q5189214) (← links)
- Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines (Q6048001) (← links)
- A continuous characterization of PSPACE using polynomial ordinary differential equations (Q6155896) (← links)