Observer Luaponov function