Another formalism which is useful to model implementations of lazy linear hybrid automaton is the hybrid automaton .
Another formalism which is useful to model implementations of hybrid automaton is the lazy linear hybrid automaton .