  This paper presents basis parts of a new method to synthesize a return
trajectory for a reactive process from a default mode to one of the nominal
modes. The process is modeled with a hybrid automata. The purpose consists of
doing a backward reachability analysis from the final state to the initial
state, in the state-space. This method is applied to a batch system.
