Formal Methods in Manufacturing
1st Edition
Published on 22. November 2017
Book
Paperback/Softback
728 pages
978-1-138-07429-3 (ISBN)
Description
Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each formal method. It then employs the different formalisms to solve specific problems taken from today's industrial world, such as modeling and simulation, supervisory control (including deadlock prevention) in a distributed and/or decentralized environment, performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration.
Containing chapters written by leading experts in their respective fields, Formal Methods in Manufacturing helps researchers and application engineers handle fundamental principles and deal with typical quality goals in the design and operation of manufacturing systems.
Containing chapters written by leading experts in their respective fields, Formal Methods in Manufacturing helps researchers and application engineers handle fundamental principles and deal with typical quality goals in the design and operation of manufacturing systems.
Reviews / Votes
"... presents a current, state-of-the-art solution to common problems in manufacturing systems, and all chapters are written by leading experts in their respective fields. ... Many examples are given, allowing easy understanding of the topics and making the book more attractive for the readers. In summary, Formal Methods in Manufacturing is a valuable tool for engineers, researchers, students, and educators who are interested in the areas of manufacturing systems and discrete event systems."-Marian P. Kazmierkowski, Warsaw University of Technology, Poland, from IEEE Industrial Electronics Magazine, September 2015
"The book gives a comprehensive overview of the state of the art of formal approaches to engineering issues in manufacturing. Readers can benefit from this aggregated knowledge and learn about the benefits of each method."
- Professor Dr.-Ing. habil. Armin Zimmermann, Ilmenau University of Technology, Germany
"... authors are well known authors in the discrete event systems community and it is a guarantee that the material is a high quality and very well presented. The problems are studied from different perspectives, using different formal models: finite state automata, Petri nets, stochastic fluid models, max-plus algebras permitting to the reader to understand the advantages and disadvantages of each formalism. In all chapters, many examples are considered, facilitating the understanding of the theoretical methods making also the book more attractive for the reader.
-Cristian Mahulea, University of Zaragoza
"This book is a must for engineers, researchers, students and educators that work in the areas of manufacturing systems and discrete event systems."
-Christoforos N. Hadjicostis, ECE Department, University of Cyprus
More details
Series
Language
English
Place of publication
London
United Kingdom
Publishing group
Taylor & Francis Ltd
Target group
College/higher education
Researchers and postgraduate students studying discrete event systems, as well as application engineers working on the design and operation of manufacturing systems.
Illustrations
303 s/w Abbildungen, 63 s/w Tabellen
63 Tables, black and white; 303 Illustrations, black and white
Dimensions
Height: 254 mm
Width: 178 mm
Thickness: 39 mm
Weight
1348 gr
ISBN-13
978-1-138-07429-3 (9781138074293)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Javier Campos | Carla Seatzu | Xiaolan Xie
Formal Methods in Manufacturing
E-Book
09/2018
CRC Press
€114.99
Available for download
Javier Campos | Carla Seatzu | Xiaolan Xie
Formal Methods in Manufacturing
E-Book
09/2018
CRC Press
€115.99
Available for download
Javier Campos | Carla Seatzu | Xiaolan Xie
Formal Methods in Manufacturing
Book
02/2014
1st Edition
CRC Press
€293.50
Shipment within 15-20 days
Persons
Javier Campos, Ph.D is professor of computer science at the University of Zaragoza, Spain. He has supervised the completion of 100 master theses and three Ph.D theses. He has also been co-chair of the IEEE IES Technical Sub-Committee on Industrial Automated Systems and Controls and associate editor of IEEE Transactions on Industrial Informatics. His research interests include modeling and performance evaluation of distributed and concurrent systems, Petri nets, software performance engineering, and performance modeling of manufacturing and telecommunication systems. He has co-authored over 90 papers published in refereed journals and conferences across the world.
Carla Seatzu, Ph.D is associate professor of automatic control at the University of Cagliari, Italy. Her research interests include discrete-event systems, hybrid systems, Petri nets, and manufacturing and networked control systems. She has published over 150 papers and one textbook on these topics. She has also served as general co-chair of the 18th IEEE International Conference on Emerging Technology and Factory Automation, and is currently associate editor of IEEE Transactions on Automatic Control and Nonlinear Analysis: Hybrid, the Conference Editorial Board of the IEEE Control System Society, and the IEEE Robotics and Automation Society.
Xiaolan Xie, Ph.D is professor of industrial engineering, the head of the Department of Healthcare Engineering, and the head of the IEOR team of CNRS UMR 6158 LIMOS for Ecole Nationale Superieure des Mines, Saint Etienne, France. He is also chair professor and director of the Center for Healthcare Engineering at the Shanghai Jiao Tong University, People's Republic of China. His recent work has focused on design, operations management, and performance evaluation of healthcare and manufacturing systems and their supply chains. He has authored/coauthored over 250 publications, including more than 90 journal articles and five books.
Carla Seatzu, Ph.D is associate professor of automatic control at the University of Cagliari, Italy. Her research interests include discrete-event systems, hybrid systems, Petri nets, and manufacturing and networked control systems. She has published over 150 papers and one textbook on these topics. She has also served as general co-chair of the 18th IEEE International Conference on Emerging Technology and Factory Automation, and is currently associate editor of IEEE Transactions on Automatic Control and Nonlinear Analysis: Hybrid, the Conference Editorial Board of the IEEE Control System Society, and the IEEE Robotics and Automation Society.
Xiaolan Xie, Ph.D is professor of industrial engineering, the head of the Department of Healthcare Engineering, and the head of the IEOR team of CNRS UMR 6158 LIMOS for Ecole Nationale Superieure des Mines, Saint Etienne, France. He is also chair professor and director of the Center for Healthcare Engineering at the Shanghai Jiao Tong University, People's Republic of China. His recent work has focused on design, operations management, and performance evaluation of healthcare and manufacturing systems and their supply chains. He has authored/coauthored over 250 publications, including more than 90 journal articles and five books.
Content
Modeling and Simulations of Manufacturing Systems. Supervisory Control of Manufacturing Systems. Performance Evaluation of Manufacturing Systems and Supply Chains. Fault Diagnosis of Manufacturing Systems.