Formal Verification of Steady-State Errors in Unity-Feedback Control Systems.

Muhammad Ahmad, Osman Hasan

Browse the full FMICS paper archive.