制御仕様を過不足なく満たすパッシブ，アクティブ，セミアクティブ要素の系統的決定法