制御理論（せいぎょりろん、英：control theory）とは、制御工学の一分野で、数理モデルを対象とした、主に数学を用いた制御に関係する理論である[1]。いずれの理論も「モデル表現方法」「解析手法」「制御系設計手法」を与える。
古典制御論

古典制御論は、伝達関数と呼ばれる線型の単入出力システムとして表された制御対象を中心に、周波数応答などを評価して望みの挙動を達成する理論である。1950年代に体系化された。代表的な成果物と言えるPID制御は、現在でも産業では主力である（化学プラント等、伝達関数が複雑な生産設備の制御に用いられる）[2][3]。
PID制御

PID制御は、制御工学におけるフィードバック制御の一種であり、入力値の制御を出力値と目標値との偏差、その積分、および微分の3つの要素によって行う方法のことである。
現代制御論

現代制御論は、状態方程式と呼ばれる一階の常微分方程式として表現された制御対象に対して、力学系を初めとする種々の数学的な成果を応用して、フィードバック系の安定性、時間応答や周波数応答などを評価して望みの挙動を達成することを目的とする理論である[4]。状態方程式の未知変数（状態変数と呼ぶ）にベクトルを選ぶことができるため、多入出力系の表現が容易となり、複雑な系に対して多くの成果が得られるようになった。

1960年代に最適出力フィードバックが、1970年代には観測器と最適レギュレータを組み合わせたものが、さかんに研究された。可制御性・可観測性、最適レギュレータなどが代表的な成果物と言えよう。
線型システム論「状態空間 (制御理論)」も参照

線型システム論は、線型の常微分方程式で表された状態方程式を対象とした制御理論である[5]。状態方程式が行列を用いて表現できることから、行列代数や線型力学系の多くの知見が適用され、現代制御論の多くの主要な結果が得られた。そのため、現代制御論と言えば、通常線型システム論を指す。非線型システムであっても、平衡点近傍で線型近似したものを対象に制御系を設計することで問題が解決することが多く、応用範囲は非常に広い。
システム同定

システム同定は、現に制御対象となる系の測定データを元に、主に統計的手法を用いて系の挙動を代表する数理モデルを同定することである[6]。理論と現実を結び付ける過程であり、特に状態方程式に基づいて制御系の解析や構築を行う現代制御論においてはこれを正確に行うことが重要である。古典制御論においては、周波数応答（様々な周波数の入力を与えたときの出力の振幅や位相）を得ることに相当する。物理モデルや入出力応答などから予め系の構造（例えば状態方程式の次数）がわかっている場合は、パラメトリックモデルに基づくシステム同定が行われる。既知の入力信号と出力の時系列データを元に回帰問題を解くことによりパラメータを決定する。既知の入力信号としては、広いスペクトル幅を持つM系列などの擬似乱数が用いられることが多い。系に非線型性が含まれていても、その関数形がわかっていれば同様の手法で同定できる場合がある。系の構造が予測できない場合はノンパラメトリックモデルに基づくシステム同定が行われるが、処理すべきデータ量が大きくなる。
最適制御論

最適制御論は、評価指標を与え、それを最小化（または最大化）することで、最適な制御系を与えることを目的とした理論である[7][8][9]。1960年代に最適出力フィードバックに関する研究がさかんに行われたが、最も代表的なのは2次形式の評価関数

J = ∫ 0 ∞ ( x T Q x + u T R u ) d t {\displaystyle J=\int _{0}^{\infty }\left(x^{T}Qx+u^{T}Ru\right)dt}

を最小化にする状態フィードバック入力を求めるもので、最適レギュレータ (Optimal Regulator) と呼ばれる。その解は代数的リッカチ方程式 (Algebraic Riccati Equation[10])

A T P + P A − P B R − 1 B T P + Q = 0 {\displaystyle A^{T}P+PA-PBR^{-1}B^{T}P+Q=0}

の正定対称解 P {\displaystyle P} を元に、

u = − R − 1 B T P x {\displaystyle u=-R^{-1}B^{T}Px}

で与えられる。
ポスト現代制御論

線型システムを対象とした現代制御論は1980年頃に完成した。その後、研究の主流は、モデル化誤差に対して有効な制御系設計の問題（ロバスト制御問題[11][12]）に移行した。その中でもH∞制御理論が最も実用化が進んでいると言える。
H∞制御理論

H∞制御理論は、外乱信号の影響を抑制する制御系を構築するための理論である[13]。外乱抑制性能を H∞ノルムによって評価することからこう呼ばれている。制御対象の不確定な部分を外乱信号として扱うことで、モデルの不確かさの影響を抑制する制御系となる。このように、想定していたモデル（ノミナルモデルと呼ぶ）からの誤差に対しても有効な（安定性を失わない） 性質を『ロバスト性』（堅牢性、安定性の意）と呼ぶ。
サンプル値制御理論[14][15]

H∞制御理論では、連続時間で動作する制御器の設計が前提であった。しかし、計算機を用いて制御器が実装されることが今日の主流であることを考えると、制御器の構成は、離散時間コントローラをAD/DA変換器によって連続時間プラントに接続した形のものとならざるを得ない。このようなシステムはもはや時不変システムではなく周期時変システムであり、H∞制御理論の成果をそのまま応用することが出来なくなる。そこで、リフティングという操作により、無限次元の離散時間線型システムを取り扱うことに帰着される。
有限時間整定制御

漸近安定性を持つシステムは、通常、有限時間内では誤差が厳密には零になることは理論上保証されない。そこで、所望の時間内で制御誤差を厳密にゼロにする制御が有限時間整定制御(deadbeat control) である[16]。近年はロバスト性についての研究も行われている。
非線型システム論「非線型制御」も参照

非線型システム論は、線型システムでないシステム、主として非線型の状態方程式を対象とした理論である[17]。その対象は実に多岐に渡るが、その中でも状態方程式が滑らか（無限回微分可能）であるものについて集中的に研究され、微分幾何学の概念を応用して、線型システム論の概念の拡張を初め、多くの成果が出始めている。
適応制御 (Adaptive Control)

適応制御は、パラメータ（の一部）が未知である制御対象に対して、系を安定化しつつパラメータを推定する制御方法である[18][19][20]。パラメータが変動するようなシステムで高い制御性能を発揮することを目指している。制御系設計の段階でシステム同定をする必要がない。
離散事象システム

離散事象システムは、系の内部状態に対する事象が離散的に生起することで状態遷移が起こるシステムの総称である[21][22]。オートマトンや形式言語を用いることで制御パターンを与える制御器を持つスーパバイザ制御や、ペトリネットを用いたモデルが存在する。しばしば離散時間システムと混同されるが、全く異なる概念であることに注意が必要である。
ハイブリッドシステム論

ハイブリッドシステム論は、連続時間動的システムと離散事象を組み合わせたハイブリッドシステムを対象とする制御理論である。1990年代後半から研究され始めるようになり、現在もさかんに研究されている。当初は、ウェルポーズドネスや可制御構造などの解析に注力されていたが、クラスを限定した安定化問題も出現し始めている。また、離散事象のみで構成されるシーケンス制御をハイブリッドシステムの枠組みで捉える試みが注目され始めている。
主な概念
ハイブリッドシステム (Hybrid System)
連続時間動的システムと離散事象を組み合わせたシステム。不連続な状態変化を伴う現象も扱うことができ、制御理論の中で適用対象の最も広いシステムであると言える。