Trajectory computation of dynamic uncertain systems

Dependability analysis of a dynamic system consists in establishing the proof that all its feasible trajectories stay inside a specified domain. In simple cases, an analytical study of its model is sufficient for obtaining requested results. But for more complex systems, set-membership approaches give attractive perspectives. The idea consists in computing enclosures containing all feasible trajectories according to imprecision on initial conditions and/or uncertainty on model parameters.