IRMA-International.org: Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Formal Methods in Manufacturing Systems: Recent Advances

Formal Methods in Manufacturing Systems: Recent Advances
Author(s)/Editor(s): Zhiwu Li (Xidian University, People’s Republic of China)and Abdulrahman M. Al-Ahmari (King Saud University, Saudi Arabia)
Copyright: ©2013
DOI: 10.4018/978-1-4666-4034-4
ISBN13: 9781466640344
ISBN10: 1466640340
EISBN13: 9781466640351

Purchase

View Formal Methods in Manufacturing Systems: Recent Advances on the publisher's website for pricing and purchasing information.


Description

Evolving technologies in mass production have led to the development of advanced techniques in the field of manufacturing. These technologies can quickly and effectively respond to various market changes, necessitating processes that focus on small batches of multiple products rather than large, single-product lines.

Formal Methods in Manufacturing Systems: Recent Advances explores this shifting paradigm through an investigation of contemporary manufacturing techniques and formal methodologies that strive to solve a variety of issues arising from a market environment that increasingly favors flexible systems over traditional ones. This book will be of particular use to industrial engineers and students of the field who require a detailed understanding of current trends and developments in manufacturing tools. This book is part of the Advances in Civil and Industrial Engineering series collection.



Table of Contents

More...
Less...

Author's/Editor's Biography

Zhiwu Li (Ed.)
ZhiWu Li received the B.S., M.S., and Ph.D. degrees in mechanical engineering, automatic control, and manufacturing engineering, respectively, all from Xidian University, Xi’an, China, in 1989, 1992, and 1995, respectively. He joined Xidian University, in 1992, where he is currently a Professor of the School of Electro-Mechanical Engineering. In the past decade, he visited a number of institutes including University of Toronto, Israel Institute of Technology, Martin-Luther University of Halle-Wittenburg, and Conservatoire National des Arts et Métiers. He is the author or coauthor of over 200 publications including three monographs. His current research interests include Petri net theory and application, and supervisory control of discrete event systems. He is a member of Discrete Event Systems Technical Committee of the IEEE Systems, Man, and Cybernetics Society, and a member of IFAC Technical Committee on Discrete Event and Hybrid Systems (2011-2014). He is listed in Marquis Who's Who in the world, 27th Edition, 2010. Dr. Li is a recipient of an Alexander von Humboldt Research Grant, Alexander von Humboldt Foundation, Germany. He is a senior member of IEEE and is the founding chair of Xi’an Chapter of IEEE Systems, Man, and Cybernetics Society.

Abdulrahman Al-Ahmari (Ed.)
Abdulrahman Al-Ahmari is a professor of Industrial Engineering at King Saud University, Saudi Arabia, Dean of Advanced Manufacturing Institute. He received his Ph.D. (Manufacturing Systems Engineering) in 1998 from the University of Sheffield- UK. His research interests are analysis and design of manufacturing systems; Computer Integrated Manufacturing (CIM); optimization of manufacturing operations; applications of simulation optimization; FMS, DOE and cellular manufacturing systems. Professor Al-Ahmari has published his papers in leading journals of Industrial and Manufacturing Engineering, including International Journal of Advanced Manufacturing Technology, International Journal of Production Research, European Journal of Operations Research, Computer and Industrial Engineering, Computers in Industry, Journal of Materials Processes and Technology, Production Planning and Control, and International Journal of Computer Integrated Manufacturing. He leads a number of funded projects form different funding organizations at KSA.

More...
Less...

Body Bottom