Supervisory Control of a Kind of Extended Finite State Machines

摘要：

The supervisory control theory of discrete event systems modeled as finite state machines (FSMs) have been studied for many years. However, the problem of state explosion in the exiting theories obstructs its widespread application. To alleviate the problem, extended finite state machines (EFSMs) is considered to model discrete event systems. This paper focuses on the supervisory control of a kind of EFSMs. Based on the concept of controllability, a necessary and sufficient condition for supervisor existence and an optimal algorithm to such supervisor design are presented.

关键词： Discrete event systems (DES) Supervisory control Extended finite state machines (EFSMs) Software cybernetics

作者: Xiang-Yun Wang Kai-Yuan Cai

作者单位: College of Computer and Information Engineering, Tianjin Normal University, Tianjin 300387, China Department of Automatic Control, Beihang University, Beijing 100191, China

会议类型: 国际会议

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

会议地点: 太原

会议语种:英文

页码: 775-780

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