Formal Guarantees in Data-Driven Model Identification and Control Synthesis.

Sadra Sadraddini Calin Belta

Published in: HSCC (2018)

Keyphrases

data driven
formal model
management system
probabilistic model
statistical model
computational model
control structure
real time
prediction model
simulation study
conceptual model
mathematical model
probability distribution
cost function
multi agent
objective function
search engine
genetic algorithm