Automatic NCES-based specification and SESA-based verification of feasible control components in benchmark production systems.
Mohamed KhalguiHans-Michael HanischPublished in: Int. J. Model. Identif. Control. (2011)
Keyphrases
- production system
- control structure
- multistage
- production process
- production line
- formal verification
- control system
- formal methods
- model checking
- multiprocessor architecture
- certainty factor
- production rules
- search algorithm
- machine learning
- real world
- knowledge base
- markov decision
- face verification
- building blocks
- expert systems
- neural network