Design of Sequential Control Systems based on Net Models

基于网络模型的顺序控制系统设计

• 批准号: 07650485
• 负责人: ONOGI Katsuaki
• 金额: $ 1.22万
• 依托单位: Nagoya University (1996)Toyohashi University of Technology (1995)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 1995
• 资助国家: 日本
• 起止时间: 1995 至 1996
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07650485/
• 关键词: Sequential Control; Discrete Event System; Petri Net; Condition; Event Net; System Design; Partial Language; 条件; バッチプロセス; プログラマブルコントローラ

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.

近来，人们对顺序控制系统的设计产生了极大的兴趣。基于网络模型的顺序控制系统设计包括四个阶段：a）描述所需系统行为的规范，B）构建表现所需行为的模型，c）分析所构建的模型，d）模型的实现。本文将顺序控制系统视为离散事件系统，讨论了顺序控制系统的设计问题，提出了一种设计方法。条件/事件网是描述顺序控制系统行为的有效建模工具。本研究首先将离散事件系统的控制问题公式化为：给定被控对象的条件/事件网络模型和部分语言描述的某些规范，综合控制器以实现指定的行为。它接下来研究这个问题的性质，然后提出一个解决方案的技术。最后讨论了顺序控制系统分层设计的可能性。

项目成果

S.Hashizume: "Control of Discrete Events Using Condition/Event Net Models" Kagakukogaku Ronbunsyu. 22-5. 1070-1078 (1996)

S.Hashizume：“使用条件/事件网络模型控制离散事件” Kagakukogaku Ronbunsyu。

橋爪 進: "与えられた半言語に適合するアトム全体の集合を求めるアルゴリズム" 計測自動制御学会論文集. 32・11. 1560-1565 (1996)

Susumu Hashizume：“找到适合给定半语言的所有原子的算法”仪器与控制工程师协会会议记录 32・11（1996）。

S.Hashizume: "Algorithm for Finding a Set of All Atoms with a Given Partial Language" Trans.of SICE. 32-11. 1560-1565 (1996)

S.Hashizume：“用给定部分语言查找所有原子集合的算法”Trans.of SICE。

S. Hashizume: "Construction of Petri Nets from a Given Partial Language" IEICE Traus. Fundamentals. E-79-A・12. 2192-2195 (1996)

S. Hashizume：“从给定的部分语言构建 Petri 网络”IEICE Traus。E-79-A·12（1996）。

S.Hashizumi: "Construction of Petri Nets from a Given Partial Language" IEICE Trans.Fundamentals. E79-A-12. 2192-2195 (1996)

S.Hashizumi：“从给定部分语言构建 Petri 网”IEICE Trans.Fundamentals。