監督控制理論
沒有或很少條目链入本條目。 (2018年2月17日) |
此條目需要精通或熟悉相关主题的编者参与及协助编辑。 |
監督控制理論（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）.