000			04541nam a22004333i 4500
001			EBC5247101
003			MiAaPQ
005			20240729131732.0
006			m o d |
007			cr cnu||||||||
008			240724s2015 xx o ||||0 eng d
020			_a9783832594985 _q(electronic bk.)
020			_z9783832539818
035			_a(MiAaPQ)EBC5247101
035			_a(Au-PeEL)EBL5247101
035			_a(CaPaEBR)ebr11539829
035			_a(OCoLC)1021810902
040			_aMiAaPQ _beng _erda _epn _cMiAaPQ _dMiAaPQ
050		4	_aQA402 .S364 2015
082	0		_a003.83
100	1		_aSchneider, Stefan.
245	1	0	_aAutomatic Modeling and Fault Diagnosis of Timed Concurrent Discrete Event Systems : _bAutomatische Modellierung und Fehlerdiagnose Zeitlicher Nebenläufiger Ereignisdiskreter Systeme.
250			_a1st ed.
264		1	_aBerlin : _bLogos Verlag Berlin, _c2015.
264		4	_c©2015.
300			_a1 online resource (198 pages)
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
505	0		_aIntro -- 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		_a5.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			_aDescription based on publisher supplied metadata and other sources.
590			_aElectronic 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	_aDiscrete-time systems.
655		4	_aElectronic books.
776	0	8	_iPrint version: _aSchneider, Stefan _tAutomatic Modeling and Fault Diagnosis of Timed Concurrent Discrete Event Systems _dBerlin : Logos Verlag Berlin,c2015 _z9783832539818
797	2		_aProQuest (Firm)
856	4	0	_uhttps://ebookcentral.proquest.com/lib/orpp/detail.action?docID=5247101 _zClick to View
999			_c135470 _d135470