Code-Level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems.

Elias Khalife Pierre-Loïc Garoche Mazen Farhood

Published in: NFM (2023)

Keyphrases

formal verification
automated verification
model checking
linear systems
intelligent systems
computer systems
linear model
model checker
state space
management system
source code
operating system
retrieval systems
dynamical systems
affine invariant