监督控制理论

监督控制理论(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. 
  • Pinzon, Luz E. The Ramadge and Wonham framework. 1997-10-15 [2017-10-09]. (原始内容存档于2017-10-09).