Formal proofs for Lyapunov stability theorems in exact real arithmetic.

Grigory Devadze Stefan Streif

Published in: ECC (2023)

Keyphrases

formal proofs
lyapunov stability
real time
genetic algorithm
fuzzy logic
control algorithm