output-feedback synthesis methods