CoqMatrix: Formal matrix library with multiple models in Coq.

ZhengPu Shi GuoJun Xie Gang Chen

Published in: J. Syst. Archit. (2023)

Keyphrases

multiple models
formal methods
dynamic model
predictive control
ensemble methods
robust regression
ensemble learning
theorem prover
heat exchanger
control scheme
training data
genetic algorithm
simulated annealing
formal specification
data points
active learning
neural network