Analysis and Control of Finite-Value Systems