监督控制理论（supervisory control theory）简称为SCT，是一个自动合成监督器（supervisor）的方法，监督器可以限制系统行为，尽可能的满足给定规格。会假设系统会自发性的产生事件，事件可以分为两类：可控及不可控。监督器观察系统产生的事件序列，会避免系统产生的事件是在不可控的子集内。不过监督器不会强迫系统产生事件。在最早的叙述中，监督控制理论考虑其系统以及规划可以用任何形式语言来建模，不一定要是有限状态机产生的正则语言，不过后来的论文中大多是以有限状态机产生的正则语言来建模。