Learn More
—This paper addresses the control of a team of nonholonomic mobile robots navigating in a terrain with obstacles while maintaining a desired formation and changing formations when required, using graph theory. We model the team as a triple, (), consisting of a group element that describes the gross position of the lead robot, a set of shape variables that(More)
We address the controller design and the trajectory generation for a quadrotor maneuvering in three dimensions in a tightly constrained setting typical of indoor environments. In such settings, it is necessary to allow for significant excursions of the attitude from the hover state and small angle approximations cannot be justified for the roll and pitch.(More)
The paper investigates the stability properties of mobile agent formations which are based on leader following. We derive nonlinear gain estimates that capture how leader behavior affects the interconnection errors observed in the formation. Leader-to-formation stability (LFS) gains quantify error amplification, relate interconnection topology to stability(More)
In this paper we investigate feedback laws used to control multiple robots moving together in a formation. We propose a method for controlling formations that uses only local sensor-based information, in a leader-follower motion. We use methods of feedback linearization to exponentially stabilize the relative distance and orientation of the follower, and(More)
We study the problem of designing dynamically feasible trajectories and controllers that drive a quadrotor to a desired state in state space. We focus on the development of a family of trajectories defined as a sequence of segments, each with a controller parameterized by a goal state or region in state space. Each controller is developed from the dynamic(More)
We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports building complex agents via the operations of instantiation, hiding, and parallel composition. For hierarchical description of the behavior of atomic components, Charon supports building(More)
On the generation of smooth three-dimensional rigid body motions. Abstract This paper addresses the problem of generating smooth trajectories between an initial and final position and orientation in space. The main idea is to define a functional depending on velocity or its derivatives that measures the smoothness of a trajectory and find trajectories that(More)
There are many examples of mechanical systems which require rolling contacts between two or more rigid bodies. Rolling contacts engender nonholonomic constraints in an otherwise holonomic system. In this paper, we develop a unified approach to the control of mechanical systems subject to both holonomic and nonholonomic constraints. We first present a state(More)
In this paper, we consider the problem of autonomous navigation with a micro aerial vehicle (MAV) in indoor environments. In particular, we are interested in autonomous navigation in buildings with multiple floors. To ensure that the robot is fully autonomous, we require all computation to occur on the robot without need for external infrastructure,(More)