空気圧アクチュエータを用いた除振台のアクティブ制御 : アクチュエータとセンサの冗長性を考慮したモデル化手法の提案(機械力学,計測,自動制御)