Algebraic Identification of Smart Systems