Automatic Proving of Stability of the Cyber-Physical Systems in the Sense of Lyapunov with KeYmaera.

Sergey M. Staroletov

Published in: FRUCT (2021)

Keyphrases

stability analysis
asymptotic stability
cyber physical systems
cyber physical
lyapunov function
sufficient conditions
closed loop
artificial intelligence
nonlinear systems
cyber security
linear matrix inequality
fault tolerant control