Towards verified continuous integration in the engineering of automated production systems.
Jakob MundSafa BougouffaIman BadrBirgit Vogel-HeuserPublished in: Autom. (2018)
Keyphrases
- production system
- multistage
- production process
- multiprocessor architecture
- artificial intelligence
- certainty factor
- concurrent engineering
- semi automated
- fully automated
- production rules
- control structure
- scheduling jobs
- software engineering
- automated analysis
- state space
- engineering problems
- computer science
- neural network
- data integration
- bayesian networks
- lot streaming
- markov decision
- simulation software
- engineering students
- engineering education
- production line
- genetic programming