Reachability in One-Dimensional Controlled Polynomial Dynamical Systems
DOI10.1007/978-3-642-29709-0_22zbMath1336.68183OpenAlexW1748732224MaRDI QIDQ3457983
Nikolaj N. jun. Vorob'ev, Margarita Korovina
Publication date: 7 December 2015
Published in: Perspectives of Systems Informatics (Search for Journal in Brave)
Full work available at URL: http://eprints.maths.manchester.ac.uk/1627/1/dynamical_final.pdf
Analysis of algorithms and problem complexity (68Q25) Controllability (93B05) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Model theory of ordered structures; o-minimality (03C64)
This page was built for publication: Reachability in One-Dimensional Controlled Polynomial Dynamical Systems
