VLSM: Validating Labelled State Transition and Message Production Systems.
Vlad ZamfirMihai CalanceaDenisa DiaconescuBrandon M. MooreKarl PalmskogTraian-Florin SerbanutaMichael StayPublished in: CoRR (2022)
Keyphrases
- production system
- state transition
- input output
- state transitions
- hidden markov models
- state transition model
- multistage
- black box
- production process
- state space
- markov chain
- production rules
- certainty factor
- multiprocessor architecture
- probability distribution
- markov decision
- finite state machines
- expert systems
- object oriented
- transition model
- machine learning
- mixed model assembly
- scheduling jobs
- dynamic programming
- optimal solution
- image sequences