| 000 | 02774cam a2200421 i 4500 | ||
|---|---|---|---|
| 001 | 50863177A1F04630A3B2D62E76846FAC | ||
| 003 | OSt | ||
| 005 | 20240705115105.0 | ||
| 008 | 140210s2014 flua b 001 0 eng | ||
| 010 | _a 2013048177 | ||
| 020 | _a9781466561557 (hardback) | ||
| 040 |
_aDLC _beng _cDLC _erda _dDLC |
||
| 050 | 0 |
_aTS 183 _bF67 2014 |
|
| 082 | 0 |
_a670 _223 |
|
| 084 |
_aTEC007000 _aTEC008000 _aTEC020000 _2bisacsh |
||
| 245 | 0 | 0 |
_aFormal methods in manufacturing / _cedited by Javier Campos, Carla Seatzu, Xiaolan Xie. |
| 264 | 1 |
_aBoca Raton : _bCRC Press, _c[2014] |
|
| 264 | 1 | _c©2014 | |
| 300 |
_axviii, 698 pages : _billustrations ; _c26 cm. |
||
| 336 |
_astill image _2rdacontent |
||
| 336 |
_atext _2rdacontent |
||
| 337 |
_aunmediated _2rdamedia |
||
| 338 |
_avolume _2rdacarrier |
||
| 490 | 0 | _aIndustrial information technology | |
| 504 | _aIncludes bibliographical references and index. | ||
| 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"-- _cProvided by publisher. |
||
| 650 | 1 | 0 |
_aManufacturing processes _xMathematical models. |
| 650 | 1 | 0 |
_aTECHNOLOGY & ENGINEERING / Electrical. _2bisacsh |
| 650 | 1 | 0 |
_aTECHNOLOGY & ENGINEERING / Electronics / General. _2bisacsh |
| 650 | 1 | 0 |
_aTECHNOLOGY & ENGINEERING / Manufacturing. _2bisacsh |
| 700 | 1 |
_aCampos, J. _eeditor of compilation. |
|
| 700 | 1 |
_aSeatzu, Carla _eeditor of compilation. |
|
| 700 | 1 |
_aXie, Xiaolan _eeditor of compilation. |
|
| 856 | 4 | 2 |
_3Cover image _uhttp://images.tandf.co.uk/common/jackets/websmall/978146656/9781466561557.jpg |
| 942 |
_2lcc _cBK |
||
| 999 |
_c10141 _d10141 |
||