Quaternion-Based Attitude Stabilization via Discrete-Time IDA-PBC | IEEE Journals & Magazine | IEEE Xplore