Verifying provable stability domains for discrete-time systems using ellipsoidal state enclosures
Stability contractors, based on interval analysis, were introduced in recent work as a tool to verify stability domains for nonlinear dynamic systems. These contractors rely on the property that - in case of provable asymptotic stability - a certain domain in a multi-dimensional state space is mappe...
Elmentve itt :
| Szerzők: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
University of Szeged, Institute of Informatics
Szeged
2023
|
| Sorozat: | Acta cybernetica
26 No. 2 |
| Kulcsszavak: | Intervallum-analízis, Irányításelmélet, Robotika, Matematikai optimalizálás |
| Tárgyszavak: | |
| doi: | 10.14232/actacyb.293871 |
| Online Access: | http://acta.bibl.u-szeged.hu/86974 |
| LEADER | 02890nab a2200289 i 4500 | ||
|---|---|---|---|
| 001 | acta86974 | ||
| 005 | 20250415142542.0 | ||
| 008 | 250415s2023 hu o 000 eng d | ||
| 022 | |a 2676-993X | ||
| 024 | 7 | |a 10.14232/actacyb.293871 |2 doi | |
| 040 | |a SZTE Egyetemi Kiadványok Repozitórium |b hun | ||
| 041 | |a eng | ||
| 100 | 1 | |a Rauh Andreas | |
| 245 | 1 | 0 | |a Verifying provable stability domains for discrete-time systems using ellipsoidal state enclosures |h [elektronikus dokumentum] / |c Rauh Andreas |
| 260 | |a University of Szeged, Institute of Informatics |b Szeged |c 2023 | ||
| 300 | |a 267-291 | ||
| 490 | 0 | |a Acta cybernetica |v 26 No. 2 | |
| 520 | 3 | |a Stability contractors, based on interval analysis, were introduced in recent work as a tool to verify stability domains for nonlinear dynamic systems. These contractors rely on the property that - in case of provable asymptotic stability - a certain domain in a multi-dimensional state space is mapped into its interior after a certain integration time for continuous-time processes or after a certain number of discretization steps in a discrete-time setting. However, a disadvantage of the use of axis-aligned interval boxes in such computations is the omnipresent wrapping effect. As shown in this contribution, the replacement of classical interval representations by ellipsoidal domain enclosures reduces this undesirable effect. It also helps to find suitable ratios for the edge lengths if interval-based domain representations are investigated. Moreover, ellipsoidal domains naturally represent the possible regions of attraction of asymptotically stable equilibrium points that can be analyzed with the help of quadratic Lyapunov functions, for which stability criteria can be cast into linear matrix inequality (LMI) constraints. For that reason, this paper further presents possible interfaces of ellipsoidal enclosure techniques with LMI approaches. This combination aims at the maximization of those domains that can be proven to be stable for a discrete-time range-only localization algorithm in robotics. There, an Extended Kalman Filter (EKF) is applied to a system for which the dynamics are characterized by a discrete-time integrator disturbance model with additive Gaussian noise. In this scenario, the measurement equations correspond to the distances between the object to be localized and beacons with known positions. | |
| 650 | 4 | |a Természettudományok | |
| 650 | 4 | |a Matematika | |
| 650 | 4 | |a Számítás- és információtudomány | |
| 650 | 4 | |a Műszaki és technológiai tudományok | |
| 650 | 4 | |a Villamosmérnöki és informatikai tudományok | |
| 695 | |a Intervallum-analízis, Irányításelmélet, Robotika, Matematikai optimalizálás | ||
| 700 | 0 | 1 | |a Bourgois Auguste |e aut |
| 700 | 0 | 1 | |a Jaulin Luc |e aut |
| 856 | 4 | 0 | |u http://acta.bibl.u-szeged.hu/86974/1/cybernetica_026_numb_002_267-291.pdf |z Dokumentum-elérés |