Automatic Modeling and Fault Diagnosis of Timed Concurrent Discrete Event Systems : (Record no. 135470)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04541nam a22004333i 4500 |
| 001 - CONTROL NUMBER | |
| control field | EBC5247101 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | MiAaPQ |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240729131732.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
| fixed length control field | m o d | |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr cnu|||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 240724s2015 xx o ||||0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783832594985 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 9783832539818 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (MiAaPQ)EBC5247101 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (Au-PeEL)EBL5247101 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (CaPaEBR)ebr11539829 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)1021810902 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | MiAaPQ |
| Language of cataloging | eng |
| Description conventions | rda |
| -- | pn |
| Transcribing agency | MiAaPQ |
| Modifying agency | MiAaPQ |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA402 .S364 2015 |
| 082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 003.83 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Schneider, Stefan. |
| 245 10 - TITLE STATEMENT | |
| Title | Automatic Modeling and Fault Diagnosis of Timed Concurrent Discrete Event Systems : |
| Remainder of title | Automatische Modellierung und Fehlerdiagnose Zeitlicher Nebenläufiger Ereignisdiskreter Systeme. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Berlin : |
| Name of producer, publisher, distributor, manufacturer | Logos Verlag Berlin, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2015. |
| 264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Date of production, publication, distribution, manufacture, or copyright notice | ©2015. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (198 pages) |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Intro -- 1 Introduction -- 1.1 Motivation -- 1.2 Discrete Event Systems (DES) -- 1.3 Bosch Mechatronics System (BMS) -- 1.4 Contribution -- 1.5 Organization -- 2 Automatic Modeling and Fault Diagnosis Challenges -- 2.1 Fault Diagnosis of DES -- 2.1.1 Terms -- 2.1.2 Concepts -- 2.2 Model-based Fault Diagnosis Challenges -- 2.3 Modeling Challenges -- 3 Identification of Timed Distributed DES Models -- 3.1 Preliminaries -- 3.2 Timed Modeling -- 3.2.1 Internal and External Behavior -- 3.2.2 Timed Model and Languages -- 3.3 Identification of Timed Models -- 3.3.1 Time Identification Approach -- 3.3.2 Timed Identification Algorithm -- 3.3.3 Precision and Completeness Properties -- 3.3.4 Identification Parameters -- 3.4 Timed Distributed Modeling -- 3.5 Identification of Timed Distributed Models -- 3.5.1 Timed Distributed Identification Approach -- 3.5.2 Precision and Completeness Properties -- 3.5.3 Discussion on Shared I/Os -- 3.6 Identification of Timed Distributed BMS Models -- 3.6.1 Data Collection -- 3.6.2 Timed Distributed Identification -- 4 Partitioning of DES Models -- 4.1 Preliminaries -- 4.2 Causal Partitioning -- 4.2.1 Distance and Causality -- 4.2.2 Causal Partitioning Algorithm -- 4.3 Optimal Partitioning -- 4.3.1 Optimization Approach -- 4.3.2 Optimal Partitioning Algorithm -- 4.4 Partition Synthesis -- 4.5 Partitioning of BMS Models -- 4.5.1 Causal Partitioning -- 4.5.2 Optimal Partitioning -- 4.5.3 Partition Synthesis -- 5 Fault Detection and Isolation using Timed Distributed DES Models -- 5.1 Preliminaries -- 5.2 Evaluation -- 5.3 Timed Fault Detection -- 5.4 Timed Fault Isolation -- 5.4.1 Preliminaries -- 5.4.2 Deadlock Behavior -- 5.4.3 Early and Late Behavior -- 5.5 Extension to Timed Distributed Models -- 5.5.1 Overview -- 5.5.2 Distributed Evaluation -- 5.5.3 Distributed Fault Detection and Isolation. |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 5.6 Fault Detection and Isolation of the BMS -- 5.6.1 Online Fault Diagnosis Implementation -- 5.6.2 Fault Scenarios -- 5.6.3 Model Validation -- 6 Related Works - Analysis and Comparison -- 6.1 Modeling of Timed DES -- 6.1.1 Language Model -- 6.1.2 Automaton Model -- 6.1.3 Petri Net Model -- 6.1.4 Discussion -- 6.2 Identification of DES Models -- 6.2.1 Preliminaries -- 6.2.2 Identification of Logical Models -- 6.2.3 Identification of Timed Models -- 6.2.4 Discussion -- 6.3 Automatic Modeling of Concurrent DES -- 6.3.1 Preliminaries -- 6.3.2 Probabilistic Data Mining -- 6.3.3 Model Optimization -- 6.3.4 Discussion -- 6.4 Model-based Fault Diagnosis of DES -- 6.4.1 Preliminaries -- 6.4.2 Fault Diagnosis using Logical Models -- 6.4.3 Fault Diagnosis using Timed Models -- 6.4.4 Discussion -- 7 Conclusion -- 7.1 Summary -- 7.2 Further Work -- 8 Kurzfassung in deutscher Sprache (extended summary in German). |
| 588 ## - SOURCE OF DESCRIPTION NOTE | |
| Source of description note | Description based on publisher supplied metadata and other sources. |
| 590 ## - LOCAL NOTE (RLIN) | |
| Local note | Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Discrete-time systems. |
| 655 #4 - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | Electronic books. |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Print version: |
| Main entry heading | Schneider, Stefan |
| Title | Automatic Modeling and Fault Diagnosis of Timed Concurrent Discrete Event Systems |
| Place, publisher, and date of publication | Berlin : Logos Verlag Berlin,c2015 |
| International Standard Book Number | 9783832539818 |
| 797 2# - LOCAL ADDED ENTRY--CORPORATE NAME (RLIN) | |
| Corporate name or jurisdiction name as entry element | ProQuest (Firm) |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=5247101">https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=5247101</a> |
| Public note | Click to View |
No items available.