DocumentCode :
3606118
Title :
Formal Methods in Manufacturing [Book News]
Author :
Kazmierkowski, Marian P.
Volume :
9
Issue :
3
fYear :
2015
Firstpage :
55
Lastpage :
56
Abstract :
This book 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. The book consists of 23 chapters grouped into four parts as follows: modeling and simulation of manufacturing systems; supervisory control of manufacturing systems; performance evaluation of manufacturing systems and supply chains, and fault diagnosis of manufacturing sytems. In the 23 chapters, all problems are studied from different perspectives, using following formal models: Petri nets, finite-state automata, stochastic fluid models, and max-plus algebra. Also, many examples are given, allowing easy understanding of the topics and makingthe book more attractive for the readers.
Keywords :
Book reviews; Fault diagnosis; Manufacturing systems; Performance evaluation; Supervisory systems;
fLanguage :
English
Journal_Title :
Industrial Electronics Magazine, IEEE
Publisher :
ieee
ISSN :
1932-4529
Type :
jour
DOI :
10.1109/MIE.2015.2454042
Filename :
7271167
Link To Document :
بازگشت