Algebraic state space approach to model and control combined automata