# SASO特性 ## 定義 SASO特性とは、フィードバック制御系を比較・評価するための4つの性質——安定性(**S**tability)・精度(**A**ccuracy)・整定時間(**S**ettling time)・オーバーシュート(**O**vershoot)——の頭字語である。計算機システム向けフィードバック制御系の商用IT経験から選ばれた性質であり、他の応用領域(例: リアルタイムシステム)では異なる性質が重視される場合もあると本書は断っている。第1章ではこの4性質の直感的な定義が提示されるにとどまり、より形式的な定義は後続の章に委ねられる。(Source: [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 1 Introduction and Overview]] §1.3) - **安定性(stability)**: 有界な入力に対して出力も有界であれば、その系は安定であるという(bounded-input bounded-output)。不安定な系は応答時間が大きくかつ変動しやすくなり、実運用に耐えない。設計上まず確認すべき前提条件として位置づけられる。 - **精度(accuracy)**: 測定出力が目標値入力に収束する(または十分近づく)度合い。実際には正確さそのものより、定常状態における制御誤差の値である定常偏差(steady-state error)として不正確さを測ることが多い。 - **整定時間(settling time)**: 目標値入力の変化後、系が定常値に十分近い値へ収束するまでにかかる時間の短さ。ワークロードが時間変化する環境での外乱抑制に特に重要で、ワークロードが変化する前に収束が得られる必要がある。 - **オーバーシュート(overshoot)**: 制御対象が目標を達成する過程で、目標値を行き過ぎない度合い。応答時間の上限制約下でスループットを最大化するような系では、制御入力の変化に伴って測定出力が制約を超えないことが求められる。 ## なぜこの4特性が計算機システムの制御目標として選ばれるのか これら4特性は「分析」と「設計」の双方に使われる二重の役割を持つ。分析の文脈では、ある系が安定かどうかを判定し、定常偏差・整定時間・最大オーバーシュートを測定または推定する。設計の文脈では、これらの値そのものが設計目標になる——すなわち、望ましい定常偏差・整定時間・最大オーバーシュートを持つようにフィードバック系を構築する。(Source: [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 1 Introduction and Overview]] §1.3) 計算機システムの実務的な文脈でこの4特性が選ばれる理由は次のとおりである。安定性は、不安定な系がミッションクリティカルな用途に使えないという直接的な理由から最優先される。精度は、ゴールドクラスとシルバークラスのサービス差別化や、応答時間制約を超えずにスループットを最大化するといった制御目標の達成を保証するために不可欠である。整定時間は、時間変化するワークロードに対する外乱抑制で、ワークロードが変化する前に系が収束している必要があるために重視される。オーバーシュートの回避は、応答時間などの制約付き最適化(例: 応答時間1秒以内でスループット最大化)において、制御入力の調整が一時的にでも制約を超えることを避けるために求められる。(Source: [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 1 Introduction and Overview]] §1.3) なお、本書はSASOに加えて**ロバスト性(robustness)**——対象システムやその環境の変化(メモリ増設、クラスタの縮退運転、ソフトウェア更新、ワークロード構成比の変化など)が制御系の性質、特に安定性と精度に与える影響の小ささ——を、計算機システムのフィードバック制御にとって重要な第5の性質として位置づけている。(Source: [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 1 Introduction and Overview]] §1.3) `SASO`という語自体は第1章の本文中に2回のみ登場し、この章では4特性の導入とその選定理由の提示にとどまる。定量的な定義・測定手法は後続章(特に安定性は第3章、定常偏差・整定時間・オーバーシュートは第5〜6章)に委ねられている。(Source: [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 1 Introduction and Overview]] §1.3) ## 横断的知見 - **第1章が定性的に提示した4特性は、第8章で単一の設計パラメータKP(比例制御のコントローラゲイン)を介して互いにトレードオフする関係として定量化される**: 第1章は安定性・精度・整定時間・オーバーシュートを直感的に定義するにとどめたが、第8章はこれらすべてを閉ループ極という共通の量から導出する。安定性は極の大きさ|p|<1、精度(定常偏差ess)は目標値入力から測定出力への定常ゲインFR(1)、整定時間ksは最大極の大きさrからks≈−4/log r(式8.7)、オーバーシュートMPは支配極の大きさ・偏角から MP≈r^(π/|θ|)(式8.8)と近似される。KPを増やすと精度(|ess|の減少)は改善するが、閉ループ極の大きさが増して整定時間が悪化し、場合によっては不安定化する——4特性が単一パラメータの綱引きの上に乗っている、という構造が第8章で初めて明示される。(Source: [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 1 Introduction and Overview]], [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 8 Proportional Control]]) - **「十分な水準」の空白は、第8章でも埋まらないままトレードオフ手順に置き換わる**: 第1章の未解決の問い(精度・整定時間・オーバーシュートの実務的な閾値が示されない)は、第8章のIBM Lotus Domino Server極配置設計の例(安定性・ess<0.1・ks<10・MP<0.1の4目標)でも解消されない。むしろ4目標を同時に満たすKPが存在しない(ess<0.1の要求が安定性の条件と両立しない)という具体例によって、「望ましい水準」の設定自体が単一パラメータでは達成不能な要求になりうることが示される。閾値の正しさより、閾値間のトレードオフをどう解消するかという設計論に議論の重心が移る。(Source: [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 8 Proportional Control]] §8.5) - **比例制御は「精度」の軸で構造的な限界を持ち、この限界が第1章では見えなかった**: 第1章はSASOを対称な4特性として並べるが、第8章は比例制御という具体的な制御則のもとでは精度(ess=0)が原理的に達成不能——目標値入力または外乱入力が非零なら必ずess≠0——であることを示す。安定性・整定時間・オーバーシュートはKPの調整で改善できるが、精度だけは制御則自体を変えない限り(積分制御の追加など)構造的に達成できない非対称性が、第1章の定性的な並列提示からは読み取れなかった点である。(Source: [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 8 Proportional Control]] §8.1, §8.6) ## 未解決の問い - SASO特性のうち安定性は明確な数学的定義(有界入力・有界出力)を持つが、精度・整定時間・オーバーシュートについて計算機システムの実務でどの程度の水準を「十分」とするかの基準は、第1・8章のいずれでも一般的な閾値としては示されていない(第8章の例はKP<0.1・ks<10・MP<0.1という個別事例の設計目標にとどまる)。 - 第1章は「ロバスト性」をSASOに次ぐ第5の性質として言及する。第8章は開ループ極a・ゲインbの推定誤差が閉ループ極に与える影響(ロバスト性)を比例制御について定量的に扱うが(§8.4.1、図8.17)、これはSASO本体ではなくSASOへの入力(モデルパラメータ)の不確かさの分析であり、ロバスト性そのものをSASOと並ぶ独立した設計目標としてどう定量化・配置設計に組み込むかは依然として後続章の確認を要する。 - SASOの4特性が互いにトレードオフの関係にあること自体は第8章で定量的に示されたが(解決)、そのトレードオフの形——例えば整定時間とオーバーシュートが常に同方向に動くのか、それとも状況依存か——は、比例制御という単一パラメータの特殊ケースでしか確認されていない。積分・微分項を持つより自由度の高い制御則(第9章のPID)でトレードオフの構造がどう変わるかは未確認。 - 比例制御は精度の軸で構造的な限界(定常偏差を消去できない)を持つことが判明したが、この非対称性が安定性・整定時間・オーバーシュートの他の3特性にも当てはまるのか(制御則を変えても原理的に改善できない限界があるのか)は、第8章の範囲では検証されていない。 ## 関連 - ソース: [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 1 Introduction and Overview]] / [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 8 Proportional Control]] - 書籍: [[Feedback Control of Computing Systems]] - 概念: [[計算機システムのフィードバック制御]] / [[制御ループの安定性とタイムラグ補償]] / [[極配置設計]] ## 出典 - Hellerstein, Diao, Parekh, Tilbury, *Feedback Control of Computing Systems*, IEEE Press / John Wiley & Sons, 2004, Chapter 1, §1.3; Chapter 8, §8.2, §8.3, §8.5.