Robust Computations with Dynamical Systems

DOI10.1007/978-3-642-15155-2_19zbMath1287.68103OpenAlexW1551503846MaRDI QIDQ3586084

Emmanuel Hainry, Olivier Bournez, Daniel Silva Graça

Publication date: 3 September 2010

Published in: Mathematical Foundations of Computer Science 2010 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15155-2_19

zbMATH Keywords

verificationmodel-checkingcomputable analysisanalog computations

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Applications of dynamical systems (37N99) Smooth dynamical systems: general theory (37C99) Computation over the reals, computable analysis (03D78)

Related Items (1)

Computation with perturbed dynamical systems

This page was built for publication: Robust Computations with Dynamical Systems