Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis

Hussein Sibai, Sacha Huriot, Tyler Martin +1

We propose an efficient symbolic control synthesis algorithm for equivariant continuous-time dynamical systems to satisfy reach-avoid specifications. The algorithm exploits dynamic…