The First Open-Source Framework for Learning Stability Certificates from Data
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866914166920445952 |
|---|---|
| author | Shen, Zhe |
| author_facet | Shen, Zhe |
| contents | Before 2025, no open-source system existed that could learn Lyapunov stability certificates directly from noisy, real-world flight data. This work addresses that gap by proposing a data-driven approach that learns Lyapunov functions from trajectory data under realistic, noise-corrupted conditions. Unlike statistical anomaly detectors that only flag deviations, the proposed method assesses whether the system can still be certified as stable. Applied to public data from the 2024 SAS severe turbulence incident, this framework revealed that, within 60 seconds of the aircraft's descent becoming abnormal, no Lyapunov function could be constructed to certify system stability. To the best of our knowledge, this is also the first application of a data-driven Lyapunov-based stability verification method to real civil aviation data, achieved without any access to proprietary controller logic. The proposed framework is open-sourced and available at: https://github.com/HansOersted/stability |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_20392 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | The First Open-Source Framework for Learning Stability Certificates from Data Shen, Zhe Systems and Control Before 2025, no open-source system existed that could learn Lyapunov stability certificates directly from noisy, real-world flight data. This work addresses that gap by proposing a data-driven approach that learns Lyapunov functions from trajectory data under realistic, noise-corrupted conditions. Unlike statistical anomaly detectors that only flag deviations, the proposed method assesses whether the system can still be certified as stable. Applied to public data from the 2024 SAS severe turbulence incident, this framework revealed that, within 60 seconds of the aircraft's descent becoming abnormal, no Lyapunov function could be constructed to certify system stability. To the best of our knowledge, this is also the first application of a data-driven Lyapunov-based stability verification method to real civil aviation data, achieved without any access to proprietary controller logic. The proposed framework is open-sourced and available at: https://github.com/HansOersted/stability |
| title | The First Open-Source Framework for Learning Stability Certificates from Data |
| topic | Systems and Control |
| url | https://arxiv.org/abs/2509.20392 |