Backtraking; Cyber-physical systems; Hybrid Automata; Optimal Parameter Synthesis; Reachability

Multistage systems are systems characterized by n stages, where each stage has a precise parametric evolution law. We propose a procedure to reduce the optimal parameter synthesis on a multistage system to the optimal control design on an automaton …