Optimized State Space Grids for Abstractions - Weber, Alexander; Rungger, Matthias; Reissig, Gunther (IEEE transactions on automatic control, 2017)
Keywords: Aerospace electronics; Automated synthesis; Computational modeling; Control systems; discrete abstraction; Djoković-London functional; Minimization; Optimization; symbolic control; Zinc