Close
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
jump to main content
Search Details
Quicksearch:
OK
Result-List
Title
Title
Content
Content
Page
Page
Search Book
Vodenčarević, Asmir: Identifying behavior models for hybrid production systems. 2013
Content
Introduction
Motivation
The Modeling Bottleneck
Contributions of This Thesis
Potential Applications
Overview
Part I Background
Foundations and State of the Art
Systems and Models
Finite Automata Formalisms
Finite Automata Identification Frameworks
Algorithms for Learning Stochastic Finite Automata
Fault Detection and Diagnosis of Hybrid Systems
Conclusion
Part II Complexity of Automata Identification
Complexity of Identifying Deterministic Automata
Introduction
Three Classes of Deterministic Automata
Automaton Identification Problem
Identification in the Limit
Polynomial Identification in the Limit
Conclusion
Complexity of Identifying Stochastic Deterministic Automata
Introduction
Notations and Automata Definitions
Identification in the Limit with Probability One
Strong Polynomial Criteria for Identification
Weak Polynomial Criteria for Identification
Summary
Polynomial Approximations of Stochastic Automata
Introduction
Distance Measures Between Distributions
Polynomial PAC-Learning
Algorithms for Polynomial PAC-Learning of SDFAs
Prospects of Polynomial PAC-Learning for Hybrid Automata
Part III Algorithms
Automated Learning of 1-SDHAs from Data
Data Acquisition and Preprocessing
Generating Alphabet and Timing Constraints from Measurements
The HyBUTLA Learning Algorithm
Abrupt Change Detection
Modeling Autonomous Jumps with State Splits
Algorithm Properties
Conclusion
Anomaly Detection Based on Learned Behavior Models
The Principle of Model-Based Anomaly Detection
Anomalies in Hybrid Production Systems
The ANODA Algorithm
Real-Time Properties of the ANODA Algorithm
Conclusion
Part IV Case Studies in Learning and Anomaly Detection
Real-World Plants
Comparative Empirical Analysis on Learning Automata
Learning Behavior Models for the Lemgo Model Factory
Anomaly Detection Experiments
Conclusion
Artificial Datasets
Empirical Analysis of Convergence and Polynomial Runtime
Empirical Analysis of Scalability
Conclusion
Part V Conclusion
Conclusions and Future Work
Conclusions
Future Work
List of Abbreviations
List of Figures
List of Tables
References
The search-operation requires javascript to be activated.