Copyright © 2026 Authors retain the copyright of this article. This article is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

@article{205024,
        author = {Rajeev Muthu and Sekhar Babu Gosala and Jyothi Unduri and Maunika Mallipudi},
        title = {Lyapunov-Based Stability Certification for Data-Driven Control with Explicit Error Margins},
        journal = {International Journal of Innovative Research in Technology},
        year = {2026},
        volume = {13},
        number = {1},
        pages = {9351-9367},
        issn = {2349-6002},
        url = {https://ijirt.org/article?manuscript=205024},
        abstract = {This paper develops a theorem-driven certification framework for data-driven control under model uncertainty. The central result establishes that if a learned closed-loop proxy admits a computable quadratic Lyapunov certificate with a strict decrease margin on a prescribed compact domain, and if the mismatch between the true and proxy closed-loop maps satisfies a certified relative error bound below an explicit threshold, then the true closed loop is exponentially stable with a computable decay rate. The admissible error margin is given in closed form in terms of the Lyapunov matrix, the decrease constant and the certification radius.
The analysis then converts certified residual bounds from data equations into certified relative closed-loop error bounds, thereby exposing the role of data conditioning in a directly checkable way. Building on the primary theorem, the paper derives explicit robustness margins for switched and networked implementations, including computable average dwell-time thresholds. Event-triggered implementations are treated through explicit dissipation inequalities, yielding certified decay rates together with a strictly positive inter-event lower bound that excludes Zeno behavior.
The paper is fully deterministic and margin-based. It avoids qualitative small-gain arguments, simulation-only validation and unspecified smoothness assumptions. Worked examples compute all constants symbolically from stated quantities and illustrate both the certification mechanism and the precise points at which the program fails when verifiability is lost.},
        keywords = {data-driven control, Lyapunov certification, robust stability margins, switched systems, event-triggered control MSC 2020— 93D05, 93C25, 93D20, 93C57, 93C85},
        month = {June},
        }