Foundations of Machine-Checked Control Theory in Lean
We introduce an open-source library for machine-checked control theory in the interactive proof assistant Lean to lay foundations for the verification of cyber-physical systems. To this end, as representative theorems, we present formalizations of Lyapunov stability theory and the small-gain theorem...
Guardado en:
| Autores principales: | , |
|---|---|
| Format: | Artículo |
| Udgivet: |
2026
|
| Fag: | |
| Online adgang: | https://arxiv.org/abs/2607.19727 http://arxiv.org/abs/2607.19727 |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|