An Output-Feedback Controller for a Single Machine Infinite Bus Power System