techniques of proving global stability properties are presented closely linked with