Automatic Modeling and Fault Diagnosis of Timed Concurrent Discrete Event Systems

Stefan Schneider

Diese Publikation zitieren

Stefan Schneider, Automatic Modeling and Fault Diagnosis of Timed Concurrent Discrete Event Systems (2015), Logos Verlag, Berlin, ISBN: 9783832594985

1
Accesses

Beschreibung / Abstract

The productive operation of machines and facilities is of great economic importance for industrial companies. In order to achieve high productivity, unscheduled production downtimes induced by faults need to be minimized. In this work, an approach for modelbased fault diagnosis of timed concurrent Discrete Event Systems is proposed that can contribute to this aim. The models are automatically determined by timed identification and partitioning. These approaches allow for efficient modeling of large and complex industrial systems with concurrent behavior requiring only little system knowledge. The work explains the theoretical and practical aspects of the presented approaches and gives a detailed evaluation based on a laboratory manufacturing system.

Inhaltsverzeichnis

  • BEGINN
  • 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.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.3 Identification of Timed Models
  • 3.4 Timed Distributed Modeling
  • 3.5 Identification of Timed Distributed Models
  • 3.6 Identification of Timed Distributed BMS Models
  • 4 Partitioning of DES Models
  • 4.1 Preliminaries
  • 4.2 Causal Partitioning
  • 4.3 Optimal Partitioning
  • 4.4 Partition Synthesis
  • 4.5 Partitioning of BMS Models
  • 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.5 Extension to Timed Distributed Models
  • 5.6 Fault Detection and Isolation of the BMS
  • 6 Related Works - Analysis and Comparison
  • 6.1 Modeling of Timed DES
  • 6.2 Identification of DES Models
  • 6.3 Automatic Modeling of Concurrent DES
  • 6.4 Model-based Fault Diagnosis of DES
  • 7 Conclusion
  • 7.1 Summary
  • 7.2 Further Work
  • 8 Kurzfassung in deutscher Sprache (extended summary in German)

Ähnliche Titel

    Mehr von diesem Autor