Formal validation of intelligent-automated production systems: towards industrial applications.
Hans-Michael HanischAndrei LobovJose L. Martinez LastraReijo TuokkoValeriy VyatkinPublished in: Int. J. Manuf. Technol. Manag. (2006)
Keyphrases
- industrial applications
- production system
- industrial systems
- multistage
- production process
- multiprocessor architecture
- intelligent systems
- markov decision
- production rules
- semi automated
- expert systems
- fully automated
- intelligent search
- certainty factor
- decision support
- systems engineering
- formal model
- production line
- control structure
- scheduling jobs
- lot streaming
- formal specification
- special case