Huber, LukasSlotine, Jean-JacquesBillard, Aude2022-05-232022-05-232022-05-232022-05-0210.1109/TRO.2022.3164789https://infoscience.epfl.ch/handle/20.500.14299/187982WOS:000791729200001This article presents a closed-form approach to constraining a flow within a given volume and around objects. The flow is guaranteed to converge and to stop at a single fixed point. The obstacle avoidance problem is inverted to enforce that the flow remains enclosed within a volume defined by a polygonal surface. We formally guarantee that such a flow will never contact the boundaries of the enclosing volume or obstacles. It asymptotically converges toward an attractor. We further create smooth motion fields around obstacles with edges (e.g., tables). Both obstacles and enclosures may be time-varying, i.e., moving, expanding, and shrinking. The technique enables a robot to navigate within enclosed corridors while avoiding static and moving obstacles. It was applied on an autonomous robot (QOLO) in a static complex indoor environment and tested in simulations with dense crowds. The final proof of concept was performed in an outdoor environment in Lausanne. The QOLO-robot successfully traversed a marketplace in the center of town in the presence of a diverse crowd with a nonuniform motion pattern.Roboticscollision avoidanceeigenvalues and eigenfunctionsmodulationharmonic analysisconvergencefrictionnavigationautonomous agentscrowd navigationdynamical systemsmobile robotsexact robot navigationmanipulatorsavoidanceenvironmentsconvextext::journal::journal article::research article