The Gottesman-Knill theorem states that a Clifford circuit acting on stabilizer can be simulated efficiently classical computer. Recently, this result has been generalized to cover inputs are close coherent superposition of logarithmically many states. runtime the simulation is governed by the<mml:mtext c...

Safety requirements in dynamical systems are commonly enforced with set invariance constraints over a safe region of the state space. Control barrier functions, which Lyapunov-like functions for guaranteeing invariance, an effective tool to enforce such and guarantee safety when system is represented as point In this paper, we introduce extent-compatible control explicitly accounting its volume...