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...
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Boca Raton [u.a.]
CRC Press
2014
|
| Schriftenreihe: | Industrial information technology
|
| Schlagworte: | |
| Online-Zugang: | Cover Inhaltsverzeichnis |
| Zusammenfassung: | "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"-- |
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | XVIII, 698 S. Ill., graph. Darst. |
| ISBN: | 9781466561557 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV041751775 | ||
| 003 | DE-604 | ||
| 005 | 20141006 | ||
| 007 | t | ||
| 008 | 140324s2014 ad|| |||| 00||| eng d | ||
| 010 | |a 2013048177 | ||
| 020 | |a 9781466561557 |c hardback |9 978-1-4665-6155-7 | ||
| 035 | |a (OCoLC)891507964 | ||
| 035 | |a (DE-599)GBV778222845 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-573 |a DE-83 | ||
| 082 | 0 | |a 670 |2 23 | |
| 084 | |a SK 970 |0 (DE-625)143276: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ZM 9240 |0 (DE-625)157218: |2 rvk | ||
| 245 | 1 | 0 | |a Formal methods in manufacturing |c edited by Javier Campos ... |
| 264 | 1 | |a Boca Raton [u.a.] |b CRC Press |c 2014 | |
| 300 | |a XVIII, 698 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Industrial information technology | |
| 500 | |a Includes bibliographical references and index | ||
| 520 | 1 | |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"-- | |
| 650 | 0 | 7 | |a Mathematisches Modell |0 (DE-588)4114528-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Fertigungssteuerung |0 (DE-588)4113547-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Produktionssteuerung |0 (DE-588)4076362-6 |2 gnd |9 rswk-swf |
| 653 | |a Manufacturing processesxMathematical models | ||
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Fertigungssteuerung |0 (DE-588)4113547-7 |D s |
| 689 | 0 | 1 | |a Mathematisches Modell |0 (DE-588)4114528-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Produktionssteuerung |0 (DE-588)4076362-6 |D s |
| 689 | 1 | 1 | |a Mathematisches Modell |0 (DE-588)4114528-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Campos, Javier |4 edt | |
| 856 | 4 | |u http://images.tandf.co.uk/common/jackets/websmall/978146656/9781466561557.jpg |3 Cover | |
| 856 | 4 | |m DE-601 |q pdf/application |u http://www.gbv.de/dms/bowker/toc/9781466561557.pdf |3 Inhaltsverzeichnis | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027198133 | ||
Datensatz im Suchindex
| _version_ | 1804152050233114624 |
|---|---|
| any_adam_object | |
| author2 | Campos, Javier |
| author2_role | edt |
| author2_variant | j c jc |
| author_facet | Campos, Javier |
| building | Verbundindex |
| bvnumber | BV041751775 |
| classification_rvk | SK 970 ST 230 ZM 9240 |
| ctrlnum | (OCoLC)891507964 (DE-599)GBV778222845 |
| dewey-full | 670 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 670 - Manufacturing |
| dewey-raw | 670 |
| dewey-search | 670 |
| dewey-sort | 3670 |
| dewey-tens | 670 - Manufacturing |
| discipline | Informatik Mathematik Werkstoffwissenschaften / Fertigungstechnik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03016nam a2200505 c 4500</leader><controlfield tag="001">BV041751775</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141006 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">140324s2014 ad|| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2013048177</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781466561557</subfield><subfield code="c">hardback</subfield><subfield code="9">978-1-4665-6155-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)891507964</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV778222845</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">670</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 970</subfield><subfield code="0">(DE-625)143276:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZM 9240</subfield><subfield code="0">(DE-625)157218:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods in manufacturing</subfield><subfield code="c">edited by Javier Campos ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boca Raton [u.a.]</subfield><subfield code="b">CRC Press</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 698 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Industrial information technology</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="520" ind1="1" ind2=" "><subfield code="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"--</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematisches Modell</subfield><subfield code="0">(DE-588)4114528-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fertigungssteuerung</subfield><subfield code="0">(DE-588)4113547-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Produktionssteuerung</subfield><subfield code="0">(DE-588)4076362-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Manufacturing processesxMathematical models</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Fertigungssteuerung</subfield><subfield code="0">(DE-588)4113547-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematisches Modell</subfield><subfield code="0">(DE-588)4114528-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Produktionssteuerung</subfield><subfield code="0">(DE-588)4076362-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Mathematisches Modell</subfield><subfield code="0">(DE-588)4114528-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Campos, Javier</subfield><subfield code="4">edt</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://images.tandf.co.uk/common/jackets/websmall/978146656/9781466561557.jpg</subfield><subfield code="3">Cover</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="m">DE-601</subfield><subfield code="q">pdf/application</subfield><subfield code="u">http://www.gbv.de/dms/bowker/toc/9781466561557.pdf</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027198133</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV041751775 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T01:04:33Z |
| institution | BVB |
| isbn | 9781466561557 |
| language | English |
| lccn | 2013048177 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027198133 |
| oclc_num | 891507964 |
| open_access_boolean | |
| owner | DE-11 DE-573 DE-83 |
| owner_facet | DE-11 DE-573 DE-83 |
| physical | XVIII, 698 S. Ill., graph. Darst. |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | CRC Press |
| record_format | marc |
| series2 | Industrial information technology |
| spelling | Formal methods in manufacturing edited by Javier Campos ... Boca Raton [u.a.] CRC Press 2014 XVIII, 698 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Industrial information technology Includes bibliographical references and index "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"-- Mathematisches Modell (DE-588)4114528-8 gnd rswk-swf Fertigungssteuerung (DE-588)4113547-7 gnd rswk-swf Produktionssteuerung (DE-588)4076362-6 gnd rswk-swf Manufacturing processesxMathematical models (DE-588)4143413-4 Aufsatzsammlung gnd-content Fertigungssteuerung (DE-588)4113547-7 s Mathematisches Modell (DE-588)4114528-8 s DE-604 Produktionssteuerung (DE-588)4076362-6 s Campos, Javier edt http://images.tandf.co.uk/common/jackets/websmall/978146656/9781466561557.jpg Cover DE-601 pdf/application http://www.gbv.de/dms/bowker/toc/9781466561557.pdf Inhaltsverzeichnis |
| spellingShingle | Formal methods in manufacturing Mathematisches Modell (DE-588)4114528-8 gnd Fertigungssteuerung (DE-588)4113547-7 gnd Produktionssteuerung (DE-588)4076362-6 gnd |
| subject_GND | (DE-588)4114528-8 (DE-588)4113547-7 (DE-588)4076362-6 (DE-588)4143413-4 |
| title | Formal methods in manufacturing |
| title_auth | Formal methods in manufacturing |
| title_exact_search | Formal methods in manufacturing |
| title_full | Formal methods in manufacturing edited by Javier Campos ... |
| title_fullStr | Formal methods in manufacturing edited by Javier Campos ... |
| title_full_unstemmed | Formal methods in manufacturing edited by Javier Campos ... |
| title_short | Formal methods in manufacturing |
| title_sort | formal methods in manufacturing |
| topic | Mathematisches Modell (DE-588)4114528-8 gnd Fertigungssteuerung (DE-588)4113547-7 gnd Produktionssteuerung (DE-588)4076362-6 gnd |
| topic_facet | Mathematisches Modell Fertigungssteuerung Produktionssteuerung Aufsatzsammlung |
| url | http://images.tandf.co.uk/common/jackets/websmall/978146656/9781466561557.jpg http://www.gbv.de/dms/bowker/toc/9781466561557.pdf |
| work_keys_str_mv | AT camposjavier formalmethodsinmanufacturing |