Estimating the Region of Attraction of Ordinary Differential Equations by Quantified Constraint Solving
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F07%3A00089329" target="_blank" >RIV/67985807:_____/07:00089329 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Estimating the Region of Attraction of Ordinary Differential Equations by Quantified Constraint Solving
Original language description
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.
Czech name
Odhadování oblasti přitažlivosti diferenciálních rovnic s pomocí řešení podmínek s kvantifikátory
Czech description
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.
Classification
Type
D - Article in proceedings
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2007
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Mathematical Methods and Computational Techniques in Research and Education
ISBN
978-960-6766-08-4
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
241-246
Publisher name
WSEAS Press
Place of publication
Arcachon
Event location
Arcachon
Event date
Oct 13, 2007
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—