A comprehensive work in finite-value systems that covers the latest achievements using the semi-tensor product method, on various kinds of finite-value systems. The book contains examples to provide a better understanding of the practical applications of finite-value systems.