Representation of Supervisory Controls using State Tree Structures, Binary Decision Diagrams, Automata, and Supervisor Reduction

摘要：

In the synthesis of an optimal nonblocking supervisor for a discrete-event system (DES), the problem of state explosion is a well-known computational obstacle. This problem can often be managed successfully by the use of state-tree structures (STS) and binary decision diagrams (BDD). Unfortunately BDD control functions may become quite large, and as such dif.cult to represent and interpret. In some cases it may, therefore, be convenient to convert an STS/BDD based controller to automaton form, and then apply a well known algorithm for supervisor reduction. In this paper we illustrate the advantage of this approach with a concrete example.

关键词： Discrete event systems supervisory control state tree structures binary decision diagrams automata supervisor reduction

作者: Wujie Chao Yongmei Gan Zhaoan Wang W. M. Wonham

作者单位: School of Electrical Engineering, Xian Jiaotong University, Xian, China, 710049 Department of Electrical and Computer Engineering, University of Toronto, ON, M5S 3G4, Canada.

会议类型: 国际会议

会议名称: The 24th Chinese Control and Decision Conference (第24届中国控制与决策学术年会 2012 CCDC)

会议地点: 太原

会议语种:英文

页码: 45-50

在线出版日期: 2012-05-23（万方平台首次上网日期，不代表论文的发表时间）