Smart abstraction based on iterative cover and non-uniform cells

Julien Calbert, Lucas N. Egidio, Raphaël M. Jungers

We propose a multi-scale approach for computing abstractions of dynamical systems, that incorporates both local and global optimal control to construct a goal-specific abstraction.…