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 :
بازگشت