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.
Publié le : 1999-07-05
Classification:
hybrid automata,
reachability,
linear vector fields,
state-space,
[MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS],
[SPI.AUTO]Engineering Sciences [physics]/Automatic
@article{hal-00610539,
author = {Manon, Philippe and Valentin, Claire},
title = {About the trajectory synthesis to go back to nominal mode for a class of hybrid systems},
journal = {HAL},
volume = {1999},
number = {0},
year = {1999},
language = {en},
url = {http://dml.mathdoc.fr/item/hal-00610539}
}
Manon, Philippe; Valentin, Claire. About the trajectory synthesis to go back to nominal mode for a class of hybrid systems. HAL, Tome 1999 (1999) no. 0, . http://gdmltest.u-ga.fr/item/hal-00610539/