Imhotep-SMT

A novel SMT-based solver for secure state estimation

Downloads:

The latest version of Imhotep-SMT can be downloaded from github. Note that Imhotep-SMT runs over Matlab (version R2010b or later) and uses the Control System Toolbox.