• 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