Analysis and Control of Finite-Valued Systems - Haitao Li; Guodong Zhao; Peilian Guo (Taylor and Francis, 2018)