Model abstraction for finite state automata is helpful for decreasing computational complexity and improving comprehensibility for the verification and control synthesis of discrete-event systems (DES ...

Suitable linear transformations for preliminary data analysis are available when data consist solely of continuous variables or solely of binary variables. When mixtures of variables are observed, ...