Estimating the Region of Attraction of Ordinary Differential Equations by Quantified Constraint Solving

0089329 - ÚI 2008 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Burchardt, H. - Ratschan, Stefan
Estimating the Region of Attraction of Ordinary Differential Equations by Quantified Constraint Solving.
[Odhadování oblasti přitažlivosti diferenciálních rovnic s pomocí řešení podmínek s kvantifikátory.]
Mathematical Methods and Computational Techniques in Research and Education. Arcachon: WSEAS Press, 2007 - (Dondon, P.; Mladenov, V.; Impedovo, S.; Cepisca, C.), s. 241-246. ISBN 978-960-6766-08-4.
[CONTROL '07. WSEAS/IASME International Conference on Dynamical Systems and Control /3./. Arcachon (FR), 13.10.2007-15.10.2007]
Grant ostatní: AVACS(DE) SFB/TR 14
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: region of attraction * constraint solving
Kód oboru RIV: BA - Obecná matematika

We formulate the problem of estimating the region of attraction using quantified constraints and show how the resulting constraints can be solved using existing software packages. We discuss the advantages of resulting method in detail.

Formulujeme problém odhadování oblasti přitažlivosti s pomocí podmínek s kvantifikátory a řešíme výsledek s existujícími softwarovými balíky. Podrobně diskutujeme výhody této metody.
Trvalý link: http://hdl.handle.net/11104/0150572