Ravi N. Banavar

Aradhana Nayak, Ravi N. Banavar

Almost-global orientation trajectory tracking for a rigid body with external actuation has been well studied in the literature, and in the geometric setting as well. The tracking control law relies on the fact that a rigid body is a simple mechanical system (SMS) on the $3-$dimensional group of special orthogonal matrices. However, the problem of designing feedback control laws for tracking using internal actuation mechanisms, like rotors or control moment gyros, has received lesser attention from a geometric point of view. An internally actuated rigid body is not a simple mechanical system, and the phase-space here evolves on the level set of a momentum map. In this note, we propose a novel proportional integral derivative (PID) control law for a rigid body with $3$ internal rotors, that achieves tracking of feasible trajectories from almost all initial conditions.

Sneha Gajbhiye, Ravi N. Banavar, Sergio Delgado

The purpose of this article is to illustrate the role of connections and symmetries in the Wheeled Inverted Pendulum (WIP) mechanism - an underactuated system with rolling constraints - popularized commercially as the Segway, and thereby arrive at a set of simpler dynamical equations that could serve as the starting point for more complex feedback control designs. The first part of the article views the nonholonomic constraints enforced by the rolling assumption as defining an Ehresmann connection on a fiber bundle. The resulting equations are the reduced Euler-Lagrange equations, which are identical to the Lagrange d'Alembert equations of motion. In the second part we explore conserved quantities, in particular, nonholonomic momenta. To do so, we first introduce the notion of a symmetry group, whose action leaves both the Lagrangian and distribution invariant. We examine two symmetry groups - $SE (2)$ and $SE(2) \times \mathbb{S}^{1}$. The first group leads to the purely kinematic case while the second gives rise to nonholonomic momentum equations.

Nidhish Raj, Ravi N. Banavar, Abhishek et al.

We consider the problem of attitude tracking for small-scale aerobatic helicopters. A small scale helicopter has two subsystems: the fuselage, modeled as a rigid body; and the rotor, modeled as a first order system. Due to the coupling between rotor and fuselage, the complete system does not inherit the structure of a simple mechanical system. The coupled rotor fuselage dynamics is first transformed to rigid body attitude tracking problem with a first order actuator dynamics. The proposed controller is developed using geometric and backstepping control technique. The controller is globally defined on $SO(3)$ and is shown to be locally exponentially stable. The controller is validated in simulation and experiment for a 10 kg class small scale flybarless helicopter by demonstrating aggressive roll attitude tracking.

Sneha Gajbhiye, Ravi N. Banavar

This paper presents tracking control laws for two different objectives of a nonholonomic system - a spherical robot - using a geometric approach. The first control law addresses orientation tracking using a modified trace potential function. The second law addresses contact position tracking using a $right$ transport map for the angular velocity error. A special case of this is position and reduced orientation stabilization. Both control laws are coordinate free. The performance of the feedback control laws are demonstrated through simulations.

Sudin Kadam, Karmvir Singh Phogat, Ravi N. Banavar et al.

In this article we present the discrete-time isoholonomic problem of the planar Purcell's swimmer and solve it using the Discrete-time Pontryagin maximum principle. The 3-link Purcell's swimmer is a locomotion system moving in a low Reynolds number environment. The kinematics of the system evolves on a principal fiber bundle. A structure preserving discrete-time kinematic model of the system is obtained in terms of the local form of a discrete connection. An adapted version of the Discrete Maximum Principle on matrix Lie groups is then employed to come up with the necessary optimality conditions for an optimal state transfer while minimizing the control effort. These necessary conditions appear as a two-point boundary value problem and are solved using a numerical technique. Results from numerical experiments are presented to illustrate the algorithm.

Siddharth H. Nair, Ravi N. Banavar

This article develops variational integrators for a class of underactuated mechanical systems using the theory of discrete mechanics. Further, a discrete optimal control problem is formulated for the considered class of systems and subsequently solved using variational principles again, to obtain necessary conditions that characterize optimal trajectories. The proposed approach is demonstrated on benchmark underactuated systems and accompanied by numerical simulations.

Siddharth H. Nair, Ravi N. Banavar, D. H. S. Maithripala

This article studies the dynamics and control of a novel underactuated system, wherein a plate suspended by cables and with a freely moving mass on top, whose other ends are attached to three quadrotors, is sought to be horizontally stabilized at a certain height, with the ball positioned at the center of mass of the plate. The freely moving mass introduces a 2-degree of underactuation into the system. The design proceeds through a decoupling of the quadrotors and the plate dynamics. Through a partial feedback linearization approach, the attitude of the plate and the translational height of the plate is initially controlled, while maintaining a bounded velocity along the $y$ and $x$ directions. These inputs are then synthesized through the quadrotors with a backstepping and timescale separation argument based on Tikhonov's theorem.

Aradhana Nayak, Ravi N. Banavar

Tracking the unactuated configuration variable in an underactuated system, in a global sense, has not received much attention. Here we present a scheme to do so for a pendubot - a two link robot actuated only at the first link. We propose a control law for almost-global asymptotic tracking (AGAT) of a smooth reference trajectory for the unactuated second joint of the pendubot. The control law achieves almost-global tracking for any smooth reference trajectory specified for the unactuated joint. Further, we generalize the proposed scheme to an n-link system with as many (or more) degrees of actuation than unactuation, and show that the result holds.

Sudin Kadam, Ravi N. Banavar

This article presents the dynamic interpolation problem for locomotion systems evolving on a trivial principal bundle $Q$. Given an ordered set of points in $Q$, we wish to generate a trajectory which passes through these points by synthesizing suitable controls. The global product structure of the trivial bundle is used to obtain an induced Riemannian product metric on $Q$. The squared $L^2-$norm of the covariant acceleration is considered as the cost function, and its first order variations are taken for generating the trajectories. The nonholonomic constraint is enforced through the local form of the principal connection and the group symmetry is employed for reduction. The explicit form of the Riemannian connection for the trivial bundle is employed to arrive at the extremal of the cost function. The result is applied to generate a trajectory for the generalized Purcell's swimmer - a low Reynolds number microswimming mechanism.

Sudin Kadam, Ravi N. Banavar

The mechanism of swimming at very low Reynolds number conditions is a topic of interest to biologists and engineering community. We develop a novel kinematic model of a slender flexible swimmer which locomotes in a low Reynolds number regime. In contrast to existing techniques that model such systems as a connected set of straight, rigid links, the novelty of our technique stems from the fact that we model the swimmer with two components - one is a straight, rigid body (the head) and the other is a flexible member (the tail). Using Cox theory we model the gradient of the forces as a function of the instantaneous shape of the swimmer and its velocity. By virtue of the low inertia conditions, an expression for the translational and rotational velocity of the head is obtained for the planar motion in the form of a Lie algebra of the Special Euclidean group. We explain the principal fiber bundle structure of the configuration space of the swimmer and use that to show a weak controllability result for a type of slender flexible swimmer where the shape space is the space of all continuous curves of a given length. A set of simulation results is presented showing the variation of the swimmer head velocity for a bump function moving along the swimmer length.

Shreyas Bharadwaj, Bamdev Mishra, Cyrus Mostajeran et al.

The paper studies a geometrically robust least-squares problem that extends classical and norm-based robust formulations. Rather than minimizing residual error for fixed or perturbed data, we interpret least-squares as enforcing approximate subspace inclusion between measured and true data spaces. The uncertainty in this geometric relation is modeled as a metric ball on the Grassmannian manifold, leading to a min-max problem over Euclidean and manifold variables. The inner maximization admits a closed-form solution, enabling an efficient algorithm with a transparent geometric interpretation. Applied to robust finite-horizon linear-quadratic tracking in data-enabled predictive control, the method improves upon existing robust least-squares formulations, achieving stronger robustness and favorable scaling under small uncertainty.

Viyom Vivek, David Martin de Diego, Ravi N. Banavar

We present a general framework for constructing structure-preserving numerical integrators for nonholonomically constrained mechanical systems evolving on Lie groups using retraction maps. Retraction maps generalize the exponential map and provide a convenient tool for performing numerical integration on manifolds. In nonholonomic mechanics, the constraints restrict the dynamics to a nonintegrable distribution rather than the entire tangent bundle. Using the Hamel formulation, the equations of motion can be expressed in local coordinates adapted to this constraint distribution. We then specialize the framework to the case of Lie groups, where both the dynamics and the constraints exhibit symmetries, allowing a simplified formulation of the numerical scheme. The resulting integrator respects the constraint distribution and enforces the nonholonomic constraints at each discrete time step. The approach is illustrated using the Suslov problem.