A Novel Anomaly Detection Algorithm for Hybrid Production Systems based on Deep Learning and Timed Automata.
Nemanja HranisavljevicOliver NiggemannAlexander MaierPublished in: CoRR (2020)
Keyphrases
- detection algorithm
- production system
- deep learning
- timed automata
- model checking
- multistage
- detection method
- unsupervised learning
- detection accuracy
- unsupervised feature learning
- theorem prover
- theorem proving
- machine learning
- weakly supervised
- multiprocessor architecture
- mental models
- first order logic
- expert systems
- three dimensional
- artificial intelligence