Towards Automatic Stability Analysis for Rely-Guarantee Proofs.

Hasan Amjad Richard Bornat

Published in: VMCAI (2009)

Keyphrases

stability analysis
nonlinear systems
real time
sliding mode
gravitational search algorithm
stability margin
learning rate
decision making
expert systems
genetic programming
evolutionary computation