Mar 18, 2024 · We propose an efficient symbolic control synthesis algorithm for equivariant continuous-time dynamical systems to satisfy reach-avoid specifications.

May 26, 2024 · We propose an efficient symbolic control synthesis algorithm for equivariant continuous-time dynamical systems to satisfy reach-avoid specifications.

Mar 18, 2024 · Our proposed algorithm adds another layer of abstraction over the common grid-based discrete abstraction before solving the synthesis problem.

May 27, 2024 · However, it can help with the still open task of scaling existing algorithms to state-of-the-art network architectures. We introduce an ...

Symmetry-Based Abstraction Algorithm for Accelerating Symbolic Control Synthesis ... Jakubczyk, B.: Symmetries of nonlinear control systems and their symbols.

Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis ; Hussein Sibai, ; Sacha Huriot, ; Tyler Martin, Murat Arcak.

Abstract. We present SceneChecker, a tool for verifying scenarios involving vehicles executing complex plans in large cluttered workspaces. SceneChecker.

This work introduces a novel abstraction for hybrid automata based on the symmetries of their modes that achieves an order of magnitude speedup when used ...

Aug 2, 2024 · 2024. NFM. Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis. Show activities from other conferences. Share. NASA ...

Symmetry-Based Abstraction Algorithm for Accelerating Symbolic Control Synthesis ... Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems.