Formal methods in manufacturing

"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 fo...

Full description

Saved in:
Bibliographic Details
Other Authors: Campos Laclaustra, Javier, 1963- (Editor), Seatzu, Carla, 1971- (Editor), Xie, Xiaolan (Editor)
Format: Book
Language: English
Published: Boca Raton : CRC Press, c2014
Series: Industrial information technology
Subjects:
výrobní systémy
automatizované výrobní systémy
řídicí systémy
teorie systémů
modelování a simulace
manufacturing systems
automated manufacturing systems
control systems
system theory
modeling and simulation
kolektivní monografie
collective monographs
ISBN: 9781466561557
Physical Description: xviii, 698 s., [12] s. obr. příl. : il. ; 26 cm

Cover

Table of contents

LEADER 03092cam a2200505 a 4500
001 72408
003 CZ ZlUTB
005 20240829153200.0
007 ta
008 140210s2014 xxua 001 0 eng
020 |a 9781466561557  |q (váz.) 
040 |a DLC  |b cze  |c DLC  |d DLC  |d ZLD002 
072 7 |a 681.5  |x Automatizační a řídicí technika  |2 Konspekt  |9 19 
080 |a 658.5-025.21  |2 MRF 
080 |a 658.5-027.43/.44  |2 MRF 
080 |a 681.5  |2 MRF 
080 |a 519.7/.8  |2 MRF 
080 |a 519.7/.8  |2 MRF 
080 |a (048.8:082)  |2 MRF 
245 0 0 |a Formal methods in manufacturing /  |c edited by Javier Campos, Carla Seatzu, Xiaolan Xie 
260 |a Boca Raton :  |b CRC Press,  |c c2014 
300 |a xviii, 698 s., [12] s. obr. příl. :  |b il. ;  |c 26 cm 
490 1 |a Industrial information technology 
520 |a "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"--Vydavatelská anotace 
504 |a Obsahuje bibliografie a rejstřík 
650 0 7 |a výrobní systémy  |7 ph127454  |2 czenas 
650 0 7 |a automatizované výrobní systémy  |7 ph118698  |2 czenas 
650 0 7 |a řídicí systémy  |7 ph128305  |2 czenas 
650 0 7 |a teorie systémů  |7 ph116432  |2 czenas 
650 0 7 |a modelování a simulace  |7 ph125543  |2 czenas 
650 0 9 |a manufacturing systems  |2 eczenas 
650 0 9 |a automated manufacturing systems  |2 eczenas 
650 0 9 |a control systems  |2 eczenas 
650 0 9 |a system theory  |2 eczenas 
650 0 9 |a modeling and simulation  |2 eczenas 
655 7 |a kolektivní monografie  |7 fd501537  |2 czenas 
655 9 |a collective monographs  |2 eczenas 
700 1 |a Campos Laclaustra, Javier,  |d 1963-  |7 utb2014822891  |4 edt 
700 1 |a Seatzu, Carla,  |d 1971-  |7 utb2014822896  |4 edt 
700 1 |a Xie, Xiaolan  |7 utb2014822899  |4 edt 
830 0 |a Industrial information technology 
910 |a ZLD002 
992 |a BK  |b SK  |d 1 
999 |c 72408  |d 72408 
952 |0 0  |1 0  |4 0  |6 6815FORMAL  |7 0  |8 BOOK  |9 128243  |a UTBZL  |b UTBZL  |c 010  |d 2014-05-30  |l 1  |m 5  |o 681.5/FORMAL  |p 420010154474  |q 2028-12-31  |r 2019-08-26  |v 3550.00  |w 2019-08-26  |x N:nákup;  |y 08 

Similar Items