監督控制理論(supervisory control theory)簡稱為SCT,是一個自動合成監督器(supervisor)的方法,監督器可以限制系統行為,儘可能的滿足給定規格。會假設系統會自發性的產生事件,事件可以分為兩類:可控及不可控。監督器觀察系統產生的事件序列,會避免系統產生的事件是在不可控的子集內。不過監督器不會強迫系統產生事件。
Ramadge, Peter J.; Wonham, Walter M. Supervisory Control of a Class of Discrete Event Processes. SIAM Journal on Control and Optimization (SICON). January 1987, 25 (1): 206–230. doi:10.1137/0325013.
Kumar, Ratnesh; Garg, Vijay K. Modeling and Control of Logical Discrete Event Systems. Springer. 1995. ISBN 978-0-7923-9538-6.