A formal proof in Coq of Lasalle's invariance principle
type: Item
instance of: scholarly article
title: A formal proof in Coq of Lasalle's invariance principle
zbMATH Open document ID: 1484.68315
DOI: 10.1007/978-3-319-66107-0_10
author: Cyril Cohen
author: Damien Rouhling
publication date: 2018-01-04T00:00:00Z
full work available at URL: main.pdf
Mathematics Subject Classification ID: 68V20
Mathematics Subject Classification ID: 34D20
zbMATH DE Number: 6821849
zbMATH Keywords: formal proofs
zbMATH Keywords: Coq
zbMATH Keywords: dynamical systems
zbMATH Keywords: stability
describes a project that uses: Coquelicot
describes a project that uses: Coq
describes a project that uses: PVS
MaRDI profile type: Publication
OpenAlex ID: W2745776412
cites work: Defending the beauty of the Invariance Principle
cites work: Interactive theorem proving. 4th international conference, ITP 2013, Rennes, France, July 22--26, 2013. Proceedings
cites work: Coquelicot: a user-friendly library of real analysis for Coq
cites work: Generalized Lyapunov and invariant set theorems for nonlinear dynamical systems
cites work: LaSalle-Yoshizawa Corollaries for Nonsmooth Systems
cites work: Q5302559
cites work: A Machine-Checked Proof of the Odd Order Theorem
cites work: Type Classes and Filters for Mathematical Analysis in Isabelle/HOL
cites work: Stabilization of the inverted pendulum around its homoclinic orbit
cites work: An extension of LaSalle's invariance principle for switched systems
cites work: A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
cites work: Q5637596
description: scientific article; zbMATH DE number 6821849