Design of Sequential Control Systems based on Net Models

点击翻译按钮获取中文摘要

There has recently been great interest in the design of sequential control systems. The design of sequential control systems based on net models contains four phases, a) description of specification of the desired system behavior, b) construction of a model to exhibit the specified behavior, c) analysis of the constructed model, and d) realization of the model. This study aims at discussing the design of sequential control systems and proposing a design method.The suquential control systems are regarded as discrete event systems. Condition/event nets are useful modeling tool to represent the behavior of sequential control systems. This study first formulates a control problem for discrete event systems as follows : given the controlled plant modeled by a condition/event net and some specification described by a partial language, synthesize a controller to realize the specified behavior. It next studies the properties of this problem and then presents a solution technique. It also applies these results to the design of sequential control systems and last discusses the possibility of the hierarchical design of these systems.