24小时热门版块排行榜    

查看: 327  |  回复: 0
当前主题已经存档。

kevin.tanqy

木虫 (正式写手)

[交流] 不错的英文教材 Manufacturing Systems Control Design

Foreword

In the late 1980s, the strong needs for modeling, analysis, control, and simulation
of complex systems especially computer-integrated manufacturing systems
demanded the academic researchers and industrial engineers to seek and
investigate better methodologies and tools. Such tools must be able to deal with
such system characteristics as asynchronous events, sequences, concurrency,
synchronization, mutual exclusion, deadlocks, and choices. While state machines
or automata were popular in many applications, they were soon proved to be
inadequate since the state explosion problems would be met at the very beginning
of system design. Any design flaws or incompleteness may invalidate the entire
system design and frequently require rather cumbersome recovery. On the other
hand, Petri nets, invented by C. A. Petri in his 1962’s doctoral dissertation, are well
equipped with the required capabilities to handle the above-mentioned
characteristics. They thus gained their popularity among the researchers of discrete
event systems and industrial applications in manufacturing automation.
The research group at Rensselaer Polytechnic Institute (RPI) was established
and led by Professors Frank DiCesare and Alan Desrochers. It was supported by
many leading industrial companies such as IBM, GM, Johnson and Johnson, Sun
Microsystems, and Digital Equipment Corporation via an eight-year long
Computer Integrated Manufacturing Research Program of the Center for
Manufacturing Productivity and Technology Transfer at RPI. They obtained many
significant research and application results. Notably, as the first Ph.D. graduate of
this group in this area, Dr. Robert Al-Jaar proposed to use generalized stochastic
Petri nets for modeling and analysis of production lines. Their work led to their
1994 book Applications of Petri Nets in Manufacturing Systems: Modeling,
Control, and Performance Analysis by IEEE Press. As the second Ph.D. graduate
of the group, I developed the concepts of parallel and sequential mutual exclusion
structures, top-down, bottom-up and hybrid synthesis methods, Petri net-based
discrete event controller design and implementation procedures for flexible
manufacturing systems (FMS). The results were summarized into the first
monograph of its kind, Petri Net Synthesis for Discrete Event Control of
Manufacturing Systems, co-authored with Frank DiCesare, Kluwer Academic
Publisher in 1993. Dr. Fei-Yue Wang, presently Professor of the University of
Arizona and the Institute of Automation, Chinese Academy of Sciences, pioneered
in applying Petri nets to designing intelligent machines and building intelligent
control foundation together with his advisor, Dr. George Saridis. He also
developed a Petri net method for communication protocol design and performance
analysis for manufacturing message specification. From the same group, Dr.
Inseon Koh, presently Professor of Hong-Ik University, Korea, perfected a bottomup
method to synthesize Petri nets with desired properties. Dr. Jagdish S. Joshi
conducted performance analysis of network and database transactions in a CIM
system. Dr. MuDer Jeng, presently Professor of National Taiwan Ocean
University, invented a new class of Petri nets suitable for modeling automated
manufacturing systems. Dr. Doo Yong Lee, presently Professor of Korea
Advanced Institute of Technology, pioneered in using various heuristics to guide
optimal or sub-optimal schedule search in timed Petri net models of flexible
manufacturing systems. Dr. Alessandro Giua, presently a professor of University
of Cagliari, Italy, developed a supervisory control theory in the framework of Petri
nets. Dr. Tiehua Cao and Professor Arthur C. Sanderson combined fuzzy logic
theory and Petri nets and developed fuzzy Petri nets for intelligent task planning in
a robotic system. The research led to the publication of Intelligent Task Planning
Using Fuzzy Petri Nets in the Series in Intelligent Control and Intelligent
Automation of World Scientific Publisher in 1996. Dr. Hauke Jungnitz developed
approximation methods for stochastic timed Petri nets. Dr. James F. Watson
formulated a method for performance analysis of discrete event systems with nonexponential
random time distributions and state space estimation of a given Petri
net model.
The above-mentioned work addressed various issues from model synthesis,
performance analysis, simulation, deadlock avoidance, and supervisory control
design and made significant contributions to the field of Petri nets and their
applications to manufacturing automation. Yet one significant problem remains
unsolved: given manufacturing system specifications expressed in Bill of
Materials, Assembly Tree, Task Sequencing matrix, and Resource Requirement
Matrix, how can one automatically generate a Petri net model and related design
for analysis, control, and simulation of a flexible manufacturing system (FMS).
This book written by a group of outstanding researchers under the leadership of Dr.
Frank Lewis indeed presents an elegant solution to the above long-lasting problem.
Their proposed matrix-based approach represents one of the most significant
innovations to the area of Petri nets and related discrete-event modeling
approaches for manufacturing system control design. The authors are able to
identify a unique mapping between the Petri net elements and system
specifications and reveal the underlying relations for a number of design and
analysis tools used in industrial engineering. More importantly, the research group
is able to link what they do to the generation of control code required by
Programmable Logic Controllers (PLC). PLC have been the industrial horse in
almost every sector of automated manufacturing and packaging industry for three
decades.
This present book contributes to the area of manufacturing automation in a
number of ways. First, it comprehensively presents a matrix-based modeling and
controller design framework. It uses an intelligent material handling workcell to
illustrate clearly various steps in matrix-based controller design. Second, the book
addresses how to utilize matrices for analyzing structural properties of
manufacturing systems. It reveals the underlying relationship among graph
descriptions, max-plus algebra, and the proposed matrix models. Third, the book
investigates a very important yet difficult class of manufacturing systems, namely,
multiple re-entrant flowlines. It answers how deadlocks can be avoided in such
systems. PLC-controlled flexible manufacturing systems are used to illustrate
various deadlock avoidance strategies. Fourth, the book presents Petri nets and
their complementary character with the matrix models. A computer-aided design
tool called Petri.NET is developed and presented, allowing researchers and
engineers to model and simulate FMS using either Petri nets or matrix models.
Finally, the book presents the basics of virtual factory modeling and simulation and
a number of CAD tools used in industry. Its contribution includes a web tool called
FlexMan that can be used to design and simulate of FMS based on virtual factory
models and matrix-based methodologies. Such examples as palletization workcell,
FESTO FMS, robotic brick-handling system, Volvo body-manufacturing line, and
assembly station are used to demonstrate these tools.
In conclusion, the authors have well presented their innovative manufacturing
control design methods based on matrices, Petri nets and other related discreteevent
modeling tools. The book clearly advances the state-of-the-art in the area of
flexible manufacturing automation and its impact to the area will last long, not only
methodologically but also practically.
MengChu Zhou, Ph. D. and Professor
New Jersey Institute of Technology
Newark, NJ
http://web.njit.edu/~zhou

[ Last edited by kevin.tanqy on 2008-10-30 at 12:50 ]
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 kevin.tanqy 的主题更新
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 听说今天filecode变了 +26 布布和一二 2026-08-06 49/2450 2026-08-11 13:18 by WH3796
[基金申请] 帮忙看看fileCode +6 wwncly 2026-08-10 12/600 2026-08-11 13:01 by wwncly
[基金申请] FileCode能看出啥? +7 要乐观耀哥 2026-08-10 17/850 2026-08-11 10:50 by 要乐观耀哥
[基金申请] 奇怪,两个人的filecode固定段从头到尾一模一样 +5 布布和一二 2026-08-10 6/300 2026-08-11 10:15 by 医学老男孩
[基金申请] filecode +9 documentary 2026-08-10 9/450 2026-08-11 10:08 by wk7465
[基金申请] 应该是93bebmhtak前后十一个字符比较关键 +15 Lanmanbaby 2026-08-09 23/1150 2026-08-11 09:51 by demonstreets
[基金申请] 我的国基提前知道中了,可是同事的操作让我实在接受不了,怎么会有这样的人 +8 家与远方 2026-08-10 13/650 2026-08-11 09:49 by 家与远方
[基金申请] 基金中了 +15 laoda193707 2026-08-06 15/750 2026-08-11 00:11 by jiafei2190
[基金申请] 确定了,国自然21号放榜 +6 布布和一二 2026-08-10 7/350 2026-08-10 19:15 by 2000zf36392
[基金申请] 关于代码变化问题,想知道的进来 +17 且听虎啸 2026-08-07 24/1200 2026-08-10 18:35 by zhangduo2008
[基金申请] 关于Filecode分析方法 +3 majunge000 2026-08-10 3/150 2026-08-10 15:46 by lch2012
[基金申请] 国自然结果 +4 Vierhys 2026-08-10 8/400 2026-08-10 15:06 by Vierhys
[基金申请] 2026国自然放榜时间 +9 布布和一二 2026-08-08 9/450 2026-08-10 11:22 by xxxx2020
[基金申请] 这样的filecode谁见过 +11 布布和一二 2026-08-08 22/1100 2026-08-10 11:10 by wmfsnow
[基金申请] filecode与中标关系的预测 +5 布布和一二 2026-08-07 5/250 2026-08-09 16:15 by 袁向阳007
[基金申请] 关于filecode,很负责任的告诉大家 +6 爱看书的可乐 2026-08-08 7/350 2026-08-08 22:13 by a_niu
[基金申请] 固定端突然变了,今天 +6 archvillain 2026-08-06 10/500 2026-08-07 16:03 by 医学老男孩
[基金申请] 大家散了吧,后缀研究没有意义,别浪费时间了,过好目前的每一天,不要焦虑 +5 Tide man 2026-08-06 7/350 2026-08-07 13:11 by 医学老男孩
[基金申请] filecode +8 布布和一二 2026-08-06 11/550 2026-08-06 20:41 by tangpu318
[基金申请] 影响面上的因素 +8 布布和一二 2026-08-05 11/550 2026-08-06 10:41 by 宝贝虫子
信息提示
请填处理意见