DocumentCode
2774961
Title
A generalization of the Poincaré-Miranda theorem with an application to the controllability of nonlinear repetitive processes
Author
Idczak, Dariusz ; Majewski, Marek
Author_Institution
Dept. of Math. & Comput. Sci., Univ. of Lodz, Lodz, Poland
fYear
2009
fDate
June 29 2009-July 1 2009
Firstpage
1
Lastpage
4
Abstract
In the first part of the paper, we prove a generalization of the classical Poincare-Miranda theorem to the case of a denumerable set of continuous functions of denumerable number of variables. The second part of the paper concerns the controllability of nonlinear repetitive processes. First, we formulate a theorem on the existence of a unique solution to such process and theorem on the continuous dependence of solutions on controls. Next, we use the obtained generalization of Poincare-Miranda theorem to prove a result on the controllability of nonlinear repetitive process.
Keywords
controllability; nonlinear control systems; number theory; set theory; theorem proving; Poincare-Miranda theorem generalization; continuous functions; controllability of nonlinear repetitive processes; denumerable number; denumerable set; theory formulation; Controllability; Convergence; Topology;
fLanguage
English
Publisher
ieee
Conference_Titel
Multidimensional (nD) Systems, 2009. nDS 2009. International Workshop on
Conference_Location
Thessaloniki
Print_ISBN
978-1-4244-2797-0
Electronic_ISBN
978-1-4244-2798-7
Type
conf
DOI
10.1109/NDS.2009.5191523
Filename
5191523
Link To Document