Abstract
Stability analysis of dynamical systems plays an important role in the study of control techniques. LaSalle’s invariance principle is a result about the asymptotic stability of the solutions to a nonlinear system of differential equations and several extensions of this principle have been designed to fit different particular kinds of system. In this paper we present a formalization, in the Coq proof assistant, of a slightly improved version of the original principle. This is a step towards a formal verification of dynamical systems.
Author supplied keywords
Cite
CITATION STYLE
Cohen, C., & Rouhling, D. (2017). A formal proof in Cop of LaSalle’s invariance principle. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10499 LNCS, pp. 148–163). Springer Verlag. https://doi.org/10.1007/978-3-319-66107-0_10
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
