On the Construction of Safe Controllable Regions for Affine Systems with Applications to Robotics
This work addresses the challenge of ensuring safe and controllable motion for robotic systems, such as UAVs, by enabling the construction of regions where all states are mutually accessible with bounded inputs, which is incremental as it builds on existing controllability concepts.
The paper tackles the problem of constructing in-block controllable regions for affine systems, providing a computationally efficient algorithm and proving its soundness, with experimental results showing its effectiveness for real-time collision avoidance in UAVs.
This paper studies the problem of constructing in-block controllable (IBC) regions for affine systems. That is, we are concerned with constructing regions in the state space of affine systems such that all the states in the interior of the region are mutually accessible through the region's interior by applying uniformly bounded inputs. We first show that existing results for checking in-block controllability on given polytopic regions cannot be easily extended to address the question of constructing IBC regions. We then explore the geometry of the problem to provide a computationally efficient algorithm for constructing IBC regions. We also prove the soundness of the algorithm. We then use the proposed algorithm to construct safe speed profiles for different robotic systems, including fully-actuated robots, ground robots modeled as unicycles with acceleration limits, and unmanned aerial vehicles (UAVs). Finally, we present several experimental results on UAVs to verify the effectiveness of the proposed algorithm. For instance, we use the proposed algorithm for real-time collision avoidance for UAVs.