You are here: MIMS > EPrints
MIMS EPrints

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
251 Kb


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.

Item Type:Book
Uncontrolled Keywords:CICADA, finite control strategy, controlled polynomial dynamical system
Subjects:MSC 2000 > 37 Dynamical systems and ergodic theory
MSC 2000 > 68 Computer science
MIMS number:2011.47
Deposited By:Dr Margarita Korovina
Deposited On:24 June 2011

Download Statistics: last 4 weeks
Repository Staff Only: edit this item