Diagnosability of labeled Dp-automata.
Kuize ZhangJörg RaischPublished in: Theor. Comput. Sci. (2024)
Keyphrases
- dynamic programming
- fault diagnosis
- training data
- discrete event systems
- cellular automata
- regular expressions
- discrete event
- finite automata
- manual labeling
- finite state
- supervised learning
- manually labeled
- global consistency
- finite state automata
- labeled graphs
- probabilistic automata
- lattice gas
- dynamical systems
- labeled examples
- dynamic systems
- database
- text categorization
- state space
- active learning
- training set
- video sequences
- information retrieval
- neural network
- real time