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 |
Abstract
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