sliding surface function; sliding mode dynamics; reachability analysis; observer; semi-Markov process