Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2509.20392 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _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 |