Verification of Control System Runtime Using an Executable Semantic Model.

Jan Sadolewski Bartosz Trybus

Published in: Algorithms (2024)

Keyphrases

control system
statistical model
cost function
probabilistic model
fuzzy logic
computational model
mathematical model
natural language
image retrieval
domain knowledge
management system
domain specific
em algorithm
parameter estimation
neural network model
semantic description