Bounded invariance checking of simulink models.

Predrag Filipovikj Guillermo Rodríguez-Navas Cristina Seceleanu

Published in: SAC (2019)

Keyphrases

statistical models
prior knowledge
statistical model
data sets
image sequences
neural network
real world
genetic algorithm
information systems
multi agent systems
probabilistic model
mathematical models
accurate models
invariant properties