State-based verification of industrial control programs with the use of a digital model.
Matthias SchampEl-Houssaine AghezzafJohannes CottynPublished in: Int. J. Comput. Integr. Manuf. (2024)
Keyphrases
- computational model
- theoretical framework
- mathematical model
- conceptual model
- probabilistic model
- behavioral model
- finite state machines
- object model
- experimental data
- statistical model
- cost function
- high level
- parameter estimation
- management system
- control system
- simulation model
- decision trees
- control policy
- genetic algorithm