Validation of behavior specifications of production systems within different phases of the engineering process.
Arndt LüderRonald RosendahlNicole SchmidtPublished in: ETFA (2013)
Keyphrases
- production system
- multistage
- production rules
- production process
- multiprocessor architecture
- certainty factor
- expert systems
- markov decision
- production line
- delay insensitive
- artificial intelligence
- control structure
- formal specification
- scheduling jobs
- behavior patterns
- finite state machines
- human behavior
- particle swarm optimization
- high level