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.
@article{arxiv.1107.4515,
title = {About the trajectory synthesis to go back to nominal mode for a class of hybrid systems},
author = {Philippe Manon and Claire Valentin},
journal= {arXiv preprint arXiv:1107.4515},
year = {2011}
}