Plant Model Generator from Digital Twin for Purpose of Formal Verification.

Midhun Xavier Johannes Håkansson Sandeep Patil Valeriy Vyatkin

Published in: ETFA (2021)

Keyphrases

probabilistic model
computational model
mathematical model
formal verification
genetic algorithm
high level
prior knowledge
management system
statistical model
neural network
cost function
knowledge representation
decision problems
formal model