Measuring robustness of dynamical systems. Relating time and space to length and precision

Documenti analoghi

• Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
  di: Blanc, Manon, et al.
  Pubblicazione: (2023)
• The domino problem is decidable for robust tilesets
  di: Aubrun, Nathalie, et al.
  Pubblicazione: (2024)
• Solvable Initial Value Problems Ruled by Discontinuous Ordinary Differential Equations
  di: Bournez, Olivier, et al.
  Pubblicazione: (2024)
• Set Descriptive Complexity of Solvable Functions
  di: Gozzi, Riccardo, et al.
  Pubblicazione: (2024)
• Relating the Computational and Logical Difficulty of Solving ODEs: From Polynomial to Discontinuous Right-Hand Sides
  di: Bournez, Olivier, et al.
  Pubblicazione: (2026)