6 citations · 6 across the 3 of their papers we have counts for
Showing math.OCShow all
2 papers · 1 filter
math.OC2008
Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems
Amit Bhatia, Emilio Frazzoli
In this paper, we describe a novel approach for checking safety specifications of a dynamical system with exogenous inputs over infinite time horizon that is guaranteed to terminat…
math.OC2005★ 6 cited
Synchronous robotic networks and complexity of control and communication laws
Sonia Martinez, Francesco Bullo, Jorge Cortes +1
This paper proposes a formal model for a network of robotic agents that move and communicate. Building on concepts from distributed computation, robotics and control theory, we def…