Revisiting Kalman and Aizerman conjectures.

Taher Naderi Donatello Materassi Giacomo Innocenti Roberto Genesio Murti V. Salapaka

Published in: CDC (2017)

Keyphrases

kalman filter
kalman filtering
theorem prover
filtering algorithm
data sets
feature extraction
high quality
inductive inference