2011.47: Reachability in one-dimensional controlled polynomial dynamical systems
2011.47: Margarita Korovina and Nicolai Vorobjov (2011) Reachability in one-dimensional controlled polynomial dynamical systems. In Proc. The Ershov Informatics Conference, Institute Informaic Systems Press, Russian.
Full text available as:
|PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader|
In this paper we address the reachability problem in controlled o-minimal dynamical systems. This problem can be formulated as follows. Given a controlled o-minimal dynamical system and a target set, starting at an initial point, is there a finite choice of time points and control parameters applied at these points such that the target set is reachable. We prove the existence of a finite control stategy and construct an algorithm which provides finite control strategies for one-dimensional controlled polynomial dynamical systems.We also provide a complexity result which shows upper bounds on the numbers of switches in finite control strategies.
|Uncontrolled Keywords:||CICADA, finite control strategy, controlled polynomial dynamical system|
|Subjects:||MSC 2000 > 37 Dynamical systems and ergodic theory|
MSC 2000 > 68 Computer science
|Deposited By:||Dr Margarita Korovina|
|Deposited On:||24 June 2011|