| contributor author | Röbenack, Klaus | |
| contributor author | Voßwinkel, Rick | |
| contributor author | Richter, Hendrik | |
| date accessioned | 2019-09-18T09:07:35Z | |
| date available | 2019-09-18T09:07:35Z | |
| date copyright | 5/13/2019 12:00:00 AM | |
| date issued | 2019 | |
| identifier issn | 1555-1415 | |
| identifier other | cnd_014_07_074502 | |
| identifier uri | http://yetl.yabesh.ir/yetl1/handle/yetl/4259161 | |
| description abstract | A Lyapunov-based approach for calculating positive invariant sets in an automatic manner is presented. This is done using real algebraic geometry techniques, which are summed up under the term quantifier elimination (QE). Using available tools, the approach presented yields an algorithmizable procedure whose conservatism only depends on the initial choice for the Lyapunov candidate function. The performance of the approach is illustrated on a variant of the Rössler system and on the Lorenz-Haken system. | |
| publisher | American Society of Mechanical Engineers (ASME) | |
| title | Calculating Positive Invariant Sets: A Quantifier Elimination Approach | |
| type | Journal Paper | |
| journal volume | 14 | |
| journal issue | 7 | |
| journal title | Journal of Computational and Nonlinear Dynamics | |
| identifier doi | 10.1115/1.4043380 | |
| journal fristpage | 74502 | |
| journal lastpage | 074502-5 | |
| tree | Journal of Computational and Nonlinear Dynamics:;2019:;volume( 014 ):;issue: 007 | |
| contenttype | Fulltext | |