An algorithm of the method of sections and program tools for constructing reachable sets of nonlinear control systems
reachable sets of nonlinear control systems
scientific article; zbMATH DE number 5617852