Hybrid controller synthesis for nonlinear systems subject to reach-avoid constraints
scientific article; zbMATH DE number 7798069