Showing 1–50 of 139 results for author: Banavar, R

Constructing Dynamic Feedback Linearizable Discretizations

Authors: Ashutosh **dal, Florentina Nicolau, David Martin Diego, Ravi Banavar

Abstract: Dynamic feedback linearization-based methods allow us to design control algorithms for a fairly large class of nonlinear systems in continuous time. However, this feature does not extend to their sampled counterparts, i.e., for a given dynamically feedback linearizable continuous time system, its numerical discretization may fail to be so. In this article, we present a way to construct discretizat… ▽ More Dynamic feedback linearization-based methods allow us to design control algorithms for a fairly large class of nonlinear systems in continuous time. However, this feature does not extend to their sampled counterparts, i.e., for a given dynamically feedback linearizable continuous time system, its numerical discretization may fail to be so. In this article, we present a way to construct discretization schemes (accurate up to first order) that result in schemes that are feedback linearizable. This result is an extension of our previous work, where we had considered only static feedback linearizable systems. The result presented here applies to a fairly general class of nonlinear systems, in particular, our analysis applies to both endogenous and exogenous types of feedback. While the results in this article are presented on a control affine form of nonlinear systems, they can be readily modified to general nonlinear systems. △ Less

Submitted 3 June, 2024; originally announced June 2024.

Estimates on the domain of validity for Lyapunov-Schmidt reduction

Authors: Pranav Gupta, Anastasia Bizyaeva, Ravi Banavar

Abstract: Lyapunov-Schmidt reduction is a dimensionality reduction technique in nonlinear systems analysis that is commonly utilised in the study of bifurcation problems in high-dimensional systems. The method is a systematic procedure for reducing the dimensionality of systems of algebraic equations that have singular points, preserving essential features of their solution sets. In this article, we establi… ▽ More Lyapunov-Schmidt reduction is a dimensionality reduction technique in nonlinear systems analysis that is commonly utilised in the study of bifurcation problems in high-dimensional systems. The method is a systematic procedure for reducing the dimensionality of systems of algebraic equations that have singular points, preserving essential features of their solution sets. In this article, we establish estimates for the region of validity of the reduction by applying bounds on the implicit function theorem derived in [https://doi.org/10.1007/s00498-023-00370-5]. We then apply these bounds to an illustrative example of a two-dimensional system with a pitchfork bifurcation. △ Less

Submitted 30 May, 2024; originally announced June 2024.

Comments: An abbreviated version of this manuscript has been submitted to the IEEE Conference on Decision and Control taking place in Milan, in December 2024

Phase behaviour and self-assembly of semiflexible polymers in poor-solvent solutions

Authors: Tobia Arcangeli, Tatjana Škrbić, Somiealo Azote, Davide Marcato, Angelo Rosa, Jayanth R. Banavar, Roberto Piazza, Amos Maritan, Achille Giacometti

Abstract: Using Langevin dynamics complemented by Wang-Landau Monte Carlo simulations, we study the phase behavior of single and multiple semiflexible polymer chains in solution under poor-solvent conditions. In the case of a single chain, we obtain the full phase diagram in the temperature-bending rigidity (stiffness) plane and we provide connections with a classical mean field result on a lattice as well… ▽ More Using Langevin dynamics complemented by Wang-Landau Monte Carlo simulations, we study the phase behavior of single and multiple semiflexible polymer chains in solution under poor-solvent conditions. In the case of a single chain, we obtain the full phase diagram in the temperature-bending rigidity (stiffness) plane and we provide connections with a classical mean field result on a lattice as well as with past results on the same model. At low bending rigidity and upon cooling, we find a second order coil-globule transition, followed by a subsequent first order globule-crystal transition at lower temperatures. The obtained crystals have the shape of a twisted rod whose length increases with the increase of the stiffness of the chain. Above a critical value of the stiffness, we also find a direct first order globule-crystal transition, with the crystal having the form of a twisted toroid. Close to the triple point, we find a region with isoenergetic structures with frequent switching from rods to toroids, with the toroid eventually becoming the only observed stable phase at higher stiffness. The model is then extended to many thermally equilibrated chains in a box and the analogous phase diagram is deduced where the chains are observed to first fold into a globule bundle at low stiffness upon cooling, and then rearrange into a nematic bundle via a nucleation process involving an isotropic-nematic transition. As in the single chain counterpart, above a critical stiffness the chains are observed to undergo a direct transition from a gas of isotropically distributed chains to a nematic bundle as the temperature decreases in agreement with recent suggestions from mean field theory. The consequences of these findings for self-assembly of biopolymers in solutions are discussed. △ Less

Submitted 18 May, 2024; originally announced May 2024.

Comments: 21 pages, 12 figures, supporting information; submitted for publication

Feedback Linearizable Discretizations of Second Order Mechanical Systems using Retraction Maps

Authors: Shreyas N. B., David Martin Diego, Ravi Banavar

Abstract: Mechanical systems, in nature, are often described by a set of continuous-time, nonlinear, second-order differential equations (SODEs). This has motivated designs of various control laws implemented on digital controllers, consequently requiring numerical discretization schemes. Feedback linearizability of such sampled systems depends on the discretization scheme or map choice. In this article, we… ▽ More Mechanical systems, in nature, are often described by a set of continuous-time, nonlinear, second-order differential equations (SODEs). This has motivated designs of various control laws implemented on digital controllers, consequently requiring numerical discretization schemes. Feedback linearizability of such sampled systems depends on the discretization scheme or map choice. In this article, we utilize retraction maps and their lifts to construct feedback linearizable discretizations for SODEs, which can be applied to various mechanical systems. △ Less

Submitted 27 March, 2024; originally announced March 2024.

Exploiting Equivariance in the Design of Tracking Controllers for Euler-Poincare Systems on Matrix Lie Groups

Authors: Matthew Hampsey, Pieter van Goor, Ravi Banavar, Robert Mahony

Abstract: The trajectory tracking problem is a fundamental control task in the study of mechanical systems. A key construction in tracking control is the error or difference between an actual and desired trajectory. This construction also lies at the heart of observer design and recent advances in the study of equivariant systems have provided a template for global error construction that exploits the symme… ▽ More The trajectory tracking problem is a fundamental control task in the study of mechanical systems. A key construction in tracking control is the error or difference between an actual and desired trajectory. This construction also lies at the heart of observer design and recent advances in the study of equivariant systems have provided a template for global error construction that exploits the symmetry structure of a group action if such a structure exists. Hamiltonian systems are posed on the cotangent bundle of configuration space of a mechanical system and symmetries for the full cotangent bundle are not commonly used in geometric control theory. In this paper, we propose a group structure on the cotangent bundle of a Lie group and leverage this to define momentum and configuration errors for trajectory tracking drawing on recent work on equivariant observer design. We show that this error definition leads to error dynamics that are themselves ``Euler-Poincare like'' and use these to derive simple, almost global trajectory tracking control for fully-actuated Euler-Poincare systems on a Lie group state space. △ Less

Submitted 27 February, 2024; v1 submitted 29 January, 2024; originally announced January 2024.

Comments: Preprint for LHMNC2024

Amino acid characteristics in protein native state structures

Authors: Tatjana Škrbić, Achille Giacometti, Trinh X. Hoang, Amos Maritan, Jayanth R. Banavar

Abstract: We present a geometrical analysis of the protrusion statistics of side chains in more than 4,000 high-resolution protein structures. We employ a coarse-grained representation of the protein backbone viewed as a linear chain of Cα atoms and consider just the heavy atoms of the side chains. We study the large variety of behaviors of the amino acids based on both rudimentary structural chemistry as w… ▽ More We present a geometrical analysis of the protrusion statistics of side chains in more than 4,000 high-resolution protein structures. We employ a coarse-grained representation of the protein backbone viewed as a linear chain of Cα atoms and consider just the heavy atoms of the side chains. We study the large variety of behaviors of the amino acids based on both rudimentary structural chemistry as well as geometry. Our geometrical analysis uses a backbone Frenet coordinate system for the common study of all amino acids. Our analysis underscores the richness of the repertoire of amino acids that is available to nature to design protein sequences that fit within the putative native state folds. △ Less

Submitted 26 January, 2024; v1 submitted 12 December, 2023; originally announced December 2023.

Comments: 46 pages, 6 figures, 4 tables

III. Geometrical framework for thinking about globular proteins: turns in proteins

Authors: Tatjana Škrbić, Achille Giacometti, Trinh X. Hoang, Amos Maritan, Jayanth R. Banavar

Abstract: We have shown recently that the notion of poking pairwise interactions along a chain provides a unifying framework for understanding the formation of both secondary and the tertiary protein structure based on symmetry and geometry. $α$-helices and $β$-sheets are found to be special geometries that have systematic poking contacts in a repetitive manner with the contacts being local along the $α$-he… ▽ More We have shown recently that the notion of poking pairwise interactions along a chain provides a unifying framework for understanding the formation of both secondary and the tertiary protein structure based on symmetry and geometry. $α$-helices and $β$-sheets are found to be special geometries that have systematic poking contacts in a repetitive manner with the contacts being local along the $α$-helix and non-local along a pair of adjacent strands within a $β$-sheet. Pairwise poking interactions also govern tertiary structure formation, but they are weaker and there are no special geometrical constraints as in secondary structure formation. Here we demonstrate that protein turns, the most prevalent non-repetitive structural element in proteins, are instances of local (as in $α$-helices) and isolated (non-repetitive) poking pairwise contacts for which the geometrical constraints are partially relaxed. This simple and purely geometrical definition of protein turns (also sometimes known as reverse turns, $β$-turns, $β$-bends, hairpin bends, $3_{10}$ bends, kinks, widgets, ...) provides a simple framework for unifying them. We present the results of a systematic analysis and identify their structural classes as well as their respective amino acid preferences. △ Less

Submitted 12 December, 2023; originally announced December 2023.

Comments: 67 pages, 17 figures, 2 tables

II. Geometrical framework for thinking about globular proteins: the power of poking

Authors: Tatjana Škrbić, Achille Giacometti, Trinh X. Hoang, Amos Maritan, Jayanth R. Banavar

Abstract: Recently, we presented a framework for understanding protein structure based on the idea that simple constructs of holding hands or touching of objects can be used to rationalize the common characteristics of globular proteins. We developed a consistent approach for understanding the formation of the two key common building blocks of helices and sheets as well as the compatible assembly of seconda… ▽ More Recently, we presented a framework for understanding protein structure based on the idea that simple constructs of holding hands or touching of objects can be used to rationalize the common characteristics of globular proteins. We developed a consistent approach for understanding the formation of the two key common building blocks of helices and sheets as well as the compatible assembly of secondary structures into the tertiary structure through the notion of poking pairwise interactions. Here we benchmark our predictions with a detailed analysis of structural data of over 4000 proteins from the Protein Data Bank. We also present the results of detailed computer simulations of a simplified model demonstrating a pre-sculpted free energy landscape, determined by geometry and symmetry, comprising numerous minima corresponding to putative native state structures. We explore the consequences of our model. Our results suggest that symmetry and geometry are a powerful guide to capture the simplicity underlying protein complexity. △ Less

Submitted 19 June, 2023; originally announced June 2023.

Comments: 45 pages, 14 figures

A geometrical framework for thinking about proteins

Authors: Jayanth R. Banavar, Achille Giacometti, Trinh X. Hoang, Amos Maritan, Tatjana Škrbić

Abstract: We present a model, based on symmetry and geometry, for proteins. Using elementary ideas from mathematics and physics, we derive the geometries of discrete helices and sheets. We postulate a compatible solvent-mediated emergent pairwise attraction that assembles these building blocks, while respecting their individual symmetries. Instead of seeking to mimic the complexity of proteins, we look for… ▽ More We present a model, based on symmetry and geometry, for proteins. Using elementary ideas from mathematics and physics, we derive the geometries of discrete helices and sheets. We postulate a compatible solvent-mediated emergent pairwise attraction that assembles these building blocks, while respecting their individual symmetries. Instead of seeking to mimic the complexity of proteins, we look for a simple abstraction of reality that yet captures the essence of proteins. We employ analytic calculations and detailed Monte Carlo simulations to explore some consequences of our theory. The predictions of our approach are in accord with experimental data. Our framework provides a rationalization for understanding the common characteristics of proteins. Our results show that the free energy landscape of a globular protein is pre-sculpted at the backbone level, sequences and functionalities evolve in the fixed backdrop of the folds determined by geometry and symmetry, and that protein structures are unique in being simultaneously characterized by stability, diversity, and sensitivity. △ Less

Submitted 19 June, 2023; originally announced June 2023.

Comments: 47 pages, 9 figures, 1 table

A discrete-time Pontryagin maximum principle under rate constraints

Authors: Siddhartha Ganguly, Souvik Das, Debasish Chatterjee, Ravi Banavar

Abstract: Limited bandwidth and limited saturation in actuators are practical concerns in control systems. Mathematically, these limitations manifest as constraints being imposed on the control actions, their rates of change, and more generally, the global behavior of their paths. While the problem of actuator saturation has been studied extensively, little attention has been devoted to the problem of actua… ▽ More Limited bandwidth and limited saturation in actuators are practical concerns in control systems. Mathematically, these limitations manifest as constraints being imposed on the control actions, their rates of change, and more generally, the global behavior of their paths. While the problem of actuator saturation has been studied extensively, little attention has been devoted to the problem of actuators having limited bandwidth. While attempts have been made in the direction of incorporating frequency constraints on state-action trajectories before, rate constraints on the control at the design stage have not been studied extensively in the discrete-time regime. This article contributes toward filling this lacuna. In particular, we establish a new discrete-time Pontryagin maximum principle with rate constraints being imposed on the control trajectories, and derive first-order necessary conditions for optimality. A brief discussion on the existence of optimal control is included, and numerical examples are provided to illustrate the results. △ Less

Submitted 24 May, 2023; originally announced May 2023.

Constructing Feedback Linearizable Discretizations for Continuous-Time Systems using Retraction Maps

Authors: Ashutosh **dal, Ravi Banavar, David Martin Diego

Abstract: Control laws for continuous-time dynamical systems are most often implemented via digital controllers using a sample-and-hold technique. Numerical discretization of the continuous system is an integral part of subsequent analysis. Feedback linearizability of such sampled systems is dependent upon the choice of discretization map or technique. In this article, for feedback linearizable continuous-t… ▽ More Control laws for continuous-time dynamical systems are most often implemented via digital controllers using a sample-and-hold technique. Numerical discretization of the continuous system is an integral part of subsequent analysis. Feedback linearizability of such sampled systems is dependent upon the choice of discretization map or technique. In this article, for feedback linearizable continuous-time systems, we utilize the idea of retraction maps to construct discretizations that are feedback linearizable as well. We also propose a method to functionally compose discretizations to obtain higher-order integrators that are feedback linearizable. △ Less

Submitted 15 May, 2023; originally announced May 2023.

Comments: 7 pages, 9 figures

Equivariant Filters are Equivariant

Authors: Hiya Gada, Pieter van Goor, Ravi Banavar, Robert Mahony

Abstract: Observers for systems with Lie group symmetries are an active area of research that is seeing significant impact in a number of practical domains, including aerospace, robotics, and mechatronics. This paper builds on the theory of the recently proposed Equivariant Filter (EqF), which is a general observer design for systems on homogeneous spaces that takes advantage of symmetries to yield signific… ▽ More Observers for systems with Lie group symmetries are an active area of research that is seeing significant impact in a number of practical domains, including aerospace, robotics, and mechatronics. This paper builds on the theory of the recently proposed Equivariant Filter (EqF), which is a general observer design for systems on homogeneous spaces that takes advantage of symmetries to yield significant performance advantages. It is shown that the EqF error dynamics are invariant to transformation of the input signal and equivariant as a parametrised vector field. The main theorem shows that two EqF's with different choices of local coordinates and origins and with equivalent noise modelling yield identical performance. In other words, the EqF is intrinsic to the system equations and symmetry. This is verified in a simulation of a 2D robot localisation problem, which also shows how the ability to choose an origin for the EqF can yield practical performance advantages by mitigating floating point precision errors. △ Less

Submitted 24 October, 2022; originally announced October 2022.

Comments: 11 pages, 2 figures, accepted for publication in IFAC NOLCOS 2022

A Unified Framework for Consensus and Synchronization on Lie Groups admitting a Bi-Invariant Metric

Authors: Rama Seshan Chandrasekharan, Ravi N Banavar, Arun D Mahindrakar

Abstract: For a finite number of agents evolving on a Euclidean space and linked to each other by a connected graph, the Laplacian flow that is based on the inter-agent errors, ensures consensus or synchronization for both first and second-order dynamics. When such agents evolve on a circle (the Kuramoto oscillator), the flow that depends on the sinusoid of the inter-agent error angles generalizes the same.… ▽ More For a finite number of agents evolving on a Euclidean space and linked to each other by a connected graph, the Laplacian flow that is based on the inter-agent errors, ensures consensus or synchronization for both first and second-order dynamics. When such agents evolve on a circle (the Kuramoto oscillator), the flow that depends on the sinusoid of the inter-agent error angles generalizes the same. In this work, it is shown that the Laplacian flow and the Kuramoto oscillator are special cases of a more general theory of consensus on Lie groups that admit bi-invariant metrics. Such a theory not only enables generalization of these consensus and synchronization algorithms to Lie groups but also provide insight on to the abstract group theoretic and differential geometric properties that ensures convergence in Euclidean space and the circle. △ Less

Submitted 2 September, 2022; v1 submitted 1 September, 2022; originally announced September 2022.

Implicit Function Theorem: Estimates on the size of the domain

Authors: Ashutosh **dal, Debasish Chatterjee, Ravi Banavar

Abstract: In this article, we present explicit estimates of the size of the domain on which the Implicit Function Theorem and the Inverse Function Theorem are valid. For maps that are twice continuously differentiable, these estimates depend upon the magnitude of the first-order derivatives evaluated at the point of interest, and a bound on the second-order derivatives over a region of interest. One of the… ▽ More In this article, we present explicit estimates of the size of the domain on which the Implicit Function Theorem and the Inverse Function Theorem are valid. For maps that are twice continuously differentiable, these estimates depend upon the magnitude of the first-order derivatives evaluated at the point of interest, and a bound on the second-order derivatives over a region of interest. One of the key contributions of this article is that the estimates presented require minimal numerical computation. In particular, these estimates are arrived at without any intermediate optimization procedures. We then present three applications in optimization and systems and control theory where the computation of such bounds turns out to be important. First, in electrical networks, the power flow operations can be written as Quadratically Constrained Quadratic Programs (QCQPs), and we utilize our bounds to compute the size of permissible power variations to ensure stable operations of the power system network. Second, the robustness margin of positive definite solutions to the Algebraic Riccati Equation (frequently encountered in control problems) subject to perturbations in the system matrices are computed with the aid of our bounds. Finally, we employ these bounds to provide quantitative estimates of the size of the domains for feedback linearization of discrete-time control systems. △ Less

Submitted 6 July, 2023; v1 submitted 25 May, 2022; originally announced May 2022.

Comments: 36 pages, 4 figures, 1 table

Geometric PID Controller for Stabilization of Nonholonomic Mechanical Systems on Lie Groups

Authors: Rama Seshan, Ravi N Banavar, D. H. S. Maithripala, Arun D. Mahindrakar

Abstract: The PID controller is an elegant and versatile controller for set point tracking in double integrator systems of which mechanical systems evolving on Euclidean space constitute a large class. But since mechanical systems are typically constrained interconnections of rigid bodies whose configuration space is $SE(3)$, which is not even topologically Euclidean, a geometric PID controller has been dev… ▽ More The PID controller is an elegant and versatile controller for set point tracking in double integrator systems of which mechanical systems evolving on Euclidean space constitute a large class. But since mechanical systems are typically constrained interconnections of rigid bodies whose configuration space is $SE(3)$, which is not even topologically Euclidean, a geometric PID controller has been developed for mechanical systems evolving on Lie groups. In this work, we extend the framework to such systems which have nonholonomic constraints. It encompasses many practically applicable mechanical systems encountered in robotics as robots are constrained interconnections of rigid bodies where the constraints could either be holonomic or nonholonomic. △ Less

Submitted 13 November, 2021; originally announced November 2021.

Proteins -- a celebration of consilience

Authors: Tatjana Škrbić, Trinh Xuan Hoang, Achille Giacometti, Amos Maritan, Jayanth R. Banavar

Abstract: Proteins are the common constituents of all living cells. They are molecular machines that interact with each other as well as with other cell products and carry out a dizzying array of functions with distinction. These interactions follow from their native state structures and therefore understanding sequence-structure relationships is of fundamental importance. What is quite remarkable about pro… ▽ More Proteins are the common constituents of all living cells. They are molecular machines that interact with each other as well as with other cell products and carry out a dizzying array of functions with distinction. These interactions follow from their native state structures and therefore understanding sequence-structure relationships is of fundamental importance. What is quite remarkable about proteins is that their understanding necessarily straddles several disciplines. The importance of geometry in defining protein native state structure, the constraints placed on protein behavior by mathematics and physics, the need for proteins to obey the laws of quantum chemistry, and the rich role of evolution and biology all come together in defining protein science. Here we review ideas from the literature and present an interdisciplinary framework that aims to marry ideas from Plato and Darwin and demonstrates an astonishing consilience between disciplines in describing proteins. We discuss the consequences of this framework on protein behavior. △ Less

Submitted 4 November, 2021; originally announced November 2021.

Comments: 18 pages; 1 table; 6 figures

Marginally compact phase and ordered ground states in a model polymer with side spheres

Authors: Tatjana Škrbić, Trinh Xuan Hoang, Achille Giacometti, Amos Maritan, Jayanth R. Banavar

Abstract: We present the results of a quantitative study of the phase behavior of a model polymer chain with side spheres using two independent computer simulation techniques. We find that the mere addition of side spheres results in key modifications of standard polymer behavior. One obtains a novel marginally compact phase at low temperatures, the structures in this phase are reduced in dimensionality and… ▽ More We present the results of a quantitative study of the phase behavior of a model polymer chain with side spheres using two independent computer simulation techniques. We find that the mere addition of side spheres results in key modifications of standard polymer behavior. One obtains a novel marginally compact phase at low temperatures, the structures in this phase are reduced in dimensionality and are ordered, they include strands assembled into sheets and a variety of helices, and at least one of the transitions on lowering the temperature to access these ordered states is found to be first order. Our model serves to partially bridge conventional polymer phases with biomolecular phases. △ Less

Submitted 14 June, 2021; originally announced June 2021.

Comments: 15 pages; 5 figures

Journal ref: Phys. Rev. E 104, 012501 (2021)

Spontaneous dimensional reduction and novel ground state degeneracy in a simple chain model

Authors: Tatjana Škrbić, Trinh Xuan Hoang, Achille Giacometti, Amos Maritan, Jayanth R. Banavar

Abstract: Chain molecules play a key role in the polymer field and in living cells. Our focus is on a new homopolymer model of a linear chain molecule subject to an attractive self-interaction promoting compactness. We analyze the model using simple analytic arguments complemented by extensive computer simulations. We find several striking results: there is a first order transition from a high temperature r… ▽ More Chain molecules play a key role in the polymer field and in living cells. Our focus is on a new homopolymer model of a linear chain molecule subject to an attractive self-interaction promoting compactness. We analyze the model using simple analytic arguments complemented by extensive computer simulations. We find several striking results: there is a first order transition from a high temperature random coil phase to a highly unusual low temperature phase; the modular ground states exhibit significant degeneracy; the ground state structures exhibit spontaneous dimensional reduction and have a two-layer structure; and the ground states are assembled from secondary motifs of helices and strands connected by tight loops. We discuss the similarities and notable differences between the ground state structures (we call these PoSSuM -- Planar Structures with Secondary Motifs) in the novel phase and protein native state structures. △ Less

Submitted 13 March, 2021; originally announced March 2021.

Comments: 14 pages, 5 figures

Journal ref: Phys. Rev. E 104, 012101 (2021)

Local sequence-structure relationships in proteins

Authors: Tatjana Škrbić, Amos Maritan, Achille Giacometti, Jayanth R. Banavar

Abstract: We seek to understand the interplay between amino acid sequence and local structure in proteins. Are some amino acids unique in their ability to fit harmoniously into certain local structures? What is the role of sequence in sculpting the putative native state folds from myriad possible conformations? In order to address these questions, we represent the local structure of each C-alpha atom of a p… ▽ More We seek to understand the interplay between amino acid sequence and local structure in proteins. Are some amino acids unique in their ability to fit harmoniously into certain local structures? What is the role of sequence in sculpting the putative native state folds from myriad possible conformations? In order to address these questions, we represent the local structure of each C-alpha atom of a protein by just two angles, theta and mu, and we analyze a set of more than 4000 protein structures from the PDB. We use a hierarchical clustering scheme to divide the 20 amino acids into six distinct groups based on their similarity to each other in fitting local structural space. We present the results of a detailed analysis of patterns of amino acid specificity in adopting local structural conformations and show that the sequence-structure correlation is not very strong compared to a random assignment of sequence to structure. Yet, our analysis may be useful to determine an effective scoring rubric for quantifying the match of an amino acid to its putative local structure. △ Less

Submitted 27 January, 2021; originally announced January 2021.

Comments: 32 pages, 13 figures, 3 tables, 8 supplementary information pages; Accepted for publication in Protein Science

Building blocks of protein structures -- Physics meets Biology

Authors: Tatjana Škrbić, Amos Maritan, Achille Giacometti, George D. Rose, Jayanth R. Banavar

Abstract: The native state structures of globular proteins are stable and well-packed indicating that self-interactions are favored over protein-solvent interactions under folding conditions. We use this as a guiding principle to derive the geometry of the building blocks of protein structures, alpha-helices and strands assembled into beta-sheets, with no adjustable parameters, no amino acid sequence inform… ▽ More The native state structures of globular proteins are stable and well-packed indicating that self-interactions are favored over protein-solvent interactions under folding conditions. We use this as a guiding principle to derive the geometry of the building blocks of protein structures, alpha-helices and strands assembled into beta-sheets, with no adjustable parameters, no amino acid sequence information, and no chemistry. There is an almost perfect fit between the dictates of mathematics and physics and the rules of quantum chemistry. Our theory establishes an energy landscape that channels protein evolution by providing sequence-independent platforms for elaborating sequence-dependent functional diversity. Our work highlights the vital role of discreteness in life and has implications for the creation of artificial life and on the nature of life elsewhere in the cosmos. △ Less

Submitted 4 January, 2021; v1 submitted 10 November, 2020; originally announced November 2020.

Comments: 32 pages, 6 figures, 2 tables; Added key sentence about the important role of amino acid side chains in providing steric constraints

Journal ref: Phys. Rev. E 104, 014402 (2021)

Modelling, Controllability and Gait Design for a Spherical Flexible Swimmer

Authors: Sudin Kadam, Ravi N. Banavar, Vivek Natarajan

Abstract: This paper discusses modelling, controllability and gait design for a spherical flexible swimmer. We first present a kinematic model of a low Reynolds number spherical flexible swimming mechanism with periodic surface deformations in the radial and azimuthal directions. The model is then converted to a finite dimensional driftless, affine-in-control principal kinematic form by representing the sur… ▽ More This paper discusses modelling, controllability and gait design for a spherical flexible swimmer. We first present a kinematic model of a low Reynolds number spherical flexible swimming mechanism with periodic surface deformations in the radial and azimuthal directions. The model is then converted to a finite dimensional driftless, affine-in-control principal kinematic form by representing the surface deformations as a linear combination of finitely many Legendre polynomials. A controllability analysis is then done for this swimmer to conclude that the swimmer is locally controllable on $\mathbb{R}^3$ for certain combinations of the Legendre polynomials. The rates of the coefficients of the polynomials are considered as the control inputs for surface deformation. Finally, the Abelian nature of the structure group of the swimmer's configuration space is exploited to synthesize a curvature based gait for the spherical flexile swimmer and a rigid-link swimmer. △ Less

Submitted 2 August, 2020; originally announced August 2020.

Robust Discrete-Time Pontryagin Maximum Principle on Matrix Lie Groups

Authors: Anant A. Joshi, Debasish Chatterjee, Ravi N. Banavar

Abstract: This article considers a discrete-time robust optimal control problem on matrix Lie groups. The underlying system is assumed to be perturbed by exogenous unmeasured bounded disturbances, and the control problem is posed as a min-max optimal control wherein the disturbance is the adversary and tries to maximise a cost that the control tries to minimise. Assuming the existence of a saddle point in t… ▽ More This article considers a discrete-time robust optimal control problem on matrix Lie groups. The underlying system is assumed to be perturbed by exogenous unmeasured bounded disturbances, and the control problem is posed as a min-max optimal control wherein the disturbance is the adversary and tries to maximise a cost that the control tries to minimise. Assuming the existence of a saddle point in the problem, we present a version of the Pontryagin maximum principle (PMP) that encapsulates first-order necessary conditions that the optimal control and disturbance trajectories must satisfy. This PMP features a saddle point condition on the Hamiltonian and a set of backward difference equations for the adjoint dynamics. We also present a special case of our result on Euclidean spaces. We conclude with applying the PMP to robust version of single axis rotation of a rigid body. △ Less

Submitted 27 July, 2020; originally announced July 2020.

Stabilizing a spherical pendulum on a quadrotor

Authors: Aradhana Nayak, Ravi Banavar, D. H. S Maithripala

Abstract: In this article we design a backstep** control law based on geometric principles to swing up a spherical pendulum mounted on a moving quadrotor. The available degrees of freedom in the control vector also permit us to position the plane of the quadrotor parallel to the ground. The problem addressed here is, indeed, novel and has many practical applications which arise during the transport of a p… ▽ More In this article we design a backstep** control law based on geometric principles to swing up a spherical pendulum mounted on a moving quadrotor. The available degrees of freedom in the control vector also permit us to position the plane of the quadrotor parallel to the ground. The problem addressed here is, indeed, novel and has many practical applications which arise during the transport of a payload mounted on top of a quadrotor. The modeling and control law are coordinate-free and thus avoid singularity issues. The geometric treatment of the problem greatly simplifies both the modeling and control law for the system. The control action is verified and supported by numerical experiments for aggressive manoeuvres starting very close to the downward stable equilibrium position of the pendulum. △ Less

Submitted 22 July, 2021; v1 submitted 13 July, 2020; originally announced July 2020.

A note on the kinematic model of the planar Purcell's swimmer

Authors: Sudin Kadam, Ravi N. Banavar

Abstract: The kinematic model for the planar Purcell's swimmer - a low Reynolds number microswimmer is derived and used extensively in the literature. We revisit the derivation and give the explicit expression of the local form of the connection form in this note. The kinematic model for the planar Purcell's swimmer - a low Reynolds number microswimmer is derived and used extensively in the literature. We revisit the derivation and give the explicit expression of the local form of the connection form in this note. △ Less

Submitted 13 January, 2020; originally announced January 2020.

Chain stiffness bridges conventional polymer and bio-molecular phases}

Authors: Tatjana Skrbic, Jayanth R. Banavar, Achille Giacometti

Abstract: Chain molecules play important roles in industry and in living cells. Our focus here is on distinct ways of modeling the stiffness inherent in a chain molecule. We consider three types of stiffnesses -- one yielding an energy penalty for local bends (energetic stiffness) and the other two forbidding certain classes of chain conformations (entropic stiffness). Using detailed Wang-Landau microcanoni… ▽ More Chain molecules play important roles in industry and in living cells. Our focus here is on distinct ways of modeling the stiffness inherent in a chain molecule. We consider three types of stiffnesses -- one yielding an energy penalty for local bends (energetic stiffness) and the other two forbidding certain classes of chain conformations (entropic stiffness). Using detailed Wang-Landau microcanonical Monte Carlo simulations, we study the interplay between the nature of the stiffness and the ground state conformation of a self-attracting chain. We find a wide range of ground state conformations including a coil, a globule, a toroid, rods, helices, zig-zag strands resembling $β$-sheets, as well as knotted conformations allowing us to bridge conventional polymer phases and biomolecular phases. An analytical map** is derived between the persistence lengths stemming from energetic and entropic stiffness. Our study shows unambiguously that different stiffness play different physical roles and have very distinct effects on the nature of the ground state of the conformation of a chain, even if they lead to identical persistence lengths. △ Less

Submitted 15 October, 2019; originally announced October 2019.

Comments: 15 pages, 8 Figures, in press in Journal of Chemical Physics

Journal ref: J.Chem. Phys. 151, 174901-1/174901-11 (2019)

Variational collision and obstacle avoidance of multi-agent systems on Riemannian manifolds

Authors: Rama Seshan Chandrasekaran, Leonardo J. Colombo, Margarida Camarinha, Ravi Banavar, Anthony Bloch

Abstract: In this paper we study a path planning problem from a variational approach to collision and obstacle avoidance for multi-agent systems evolving on a Riemannian manifold. The problem consists of finding non-intersecting trajectories between the agent and prescribed obstacles on the workspace, among a set of admissible curves, to reach a specified configuration, based on minimizing an energy functio… ▽ More In this paper we study a path planning problem from a variational approach to collision and obstacle avoidance for multi-agent systems evolving on a Riemannian manifold. The problem consists of finding non-intersecting trajectories between the agent and prescribed obstacles on the workspace, among a set of admissible curves, to reach a specified configuration, based on minimizing an energy functional that depends on the velocity, covariant acceleration and an artificial potential function used to prevent collision with the obstacles and among the agents. We apply the results to examples of a planar rigid body, and collision and obstacle avoidance for agents evolving on a sphere. △ Less

Submitted 11 October, 2019; originally announced October 2019.

Comments: Submitted to European Control Conference 2020

Design of a Discrete Time Observer for the Continuous Time Rotation Kinematics on $\mathbb{S}\mathbb{O}(3)$

Authors: Soham Shanbhag, Ravi Banavar

Abstract: This report proposes a discrete time observer for the continuous time rigid body kinematics on the rotation group $\mathbb{S}\mathbb{O}(3)$. The work draws on two research schools - one by Chang based on feedback integrators for systems evolving on manifolds,and the other by Mahony, who proposed an observer for attitude dynamics. The discrete time observer is based on the modified dynamics of the… ▽ More This report proposes a discrete time observer for the continuous time rigid body kinematics on the rotation group $\mathbb{S}\mathbb{O}(3)$. The work draws on two research schools - one by Chang based on feedback integrators for systems evolving on manifolds,and the other by Mahony, who proposed an observer for attitude dynamics. The discrete time observer is based on the modified dynamics of the Mahony observer for attitude dynamics, where the modification of the vector field enables numerical integration based on Euclidean schemes. △ Less

Submitted 1 August, 2019; v1 submitted 23 July, 2019; originally announced July 2019.

Comments: 24 pages, 13 figures

A bundle framework for observer design on smooth manifolds with symmetry

Authors: Anant A. Joshi, D. H. S. Maithripala, Ravi N. Banavar

Abstract: The article presents a bundle framework for nonlinear observer design on a manifold with a Lie group action. The group action on the manifold decomposes the manifold to a quotient structure and an orbit space, and the problem of observer design for the entire system gets decomposed to a design over the orbit (the group space) and a design over the quotient space. The emphasis throughout the articl… ▽ More The article presents a bundle framework for nonlinear observer design on a manifold with a Lie group action. The group action on the manifold decomposes the manifold to a quotient structure and an orbit space, and the problem of observer design for the entire system gets decomposed to a design over the orbit (the group space) and a design over the quotient space. The emphasis throughout the article is on presenting an overarching geometric structure; the special case when the group action is free is given special emphasis. Gradient based observer design on a Lie group is given explicit attention. The concepts developed are illustrated by applying them on well known examples, which include the action of $\mathbb{SO}(3)$ on $\mathbb{R}^3 \setminus \{0\}$ and the simultaneous localisation and map** (SLAM) problem. △ Less

Submitted 12 July, 2021; v1 submitted 22 July, 2019; originally announced July 2019.

Attitude Control of a Novel Tailsitter: Swiveling Biplane-Quadrotor

Authors: Nidhish Raj, Ravi Banavar, Abhishek, Mangal Kothari

Abstract: This paper proposes a solution to the attitude tracking problem for a novel quadrotor tailsitter unmanned aerial vehicle called swiveling biplane quadrotor. The proposed vehicle design addresses the lack of yaw control authority in conventional biplane quadrotor tailsitters by proposing a new design wherein two wings with two attached propellers are joined together with a rod through a swivel mech… ▽ More This paper proposes a solution to the attitude tracking problem for a novel quadrotor tailsitter unmanned aerial vehicle called swiveling biplane quadrotor. The proposed vehicle design addresses the lack of yaw control authority in conventional biplane quadrotor tailsitters by proposing a new design wherein two wings with two attached propellers are joined together with a rod through a swivel mechanism. The yaw torque is generated by relative rotation of the thrust vector of each wing. The unique design of this configuration having two rigid bodies interconnected through a rod with zero torsional rigidity makes the vehicle underactuated in the attitude configuration manifold. An output tracking problem is posed which results in a single equivalent rigid body attitude tracking problem with second-order moment dynamics. The proposed controller is uniformly valid for all attitudes and is based on dynamic feedback linearization in a geometric control framework. Almost-global asymptotic stability of the desired equilibrium of the tracking error dynamics is shown. The efficacy of the controller is shown with numerical simulation and flight tests. △ Less

Submitted 19 July, 2019; originally announced July 2019.

Scenario approach for minmax optimization with emphasis on the nonconvex case: positive results and caveats

Authors: Mishal Assif P K, Debasish Chatterjee, Ravi Banavar

Abstract: We treat the so-called scenario approach, a popular probabilistic approximation method for robust minmax optimization problems via independent and indentically distributed (i.i.d) sampling from the uncertainty set, from various perspectives. The scenario approach is well-studied in the important case of convex robust optimization problems, and here we examine how the phenomenon of concentration of… ▽ More We treat the so-called scenario approach, a popular probabilistic approximation method for robust minmax optimization problems via independent and indentically distributed (i.i.d) sampling from the uncertainty set, from various perspectives. The scenario approach is well-studied in the important case of convex robust optimization problems, and here we examine how the phenomenon of concentration of measures affects the i.i.d sampling aspect of the scenario approach in high dimensions and its relation with the optimal values. Moreover, we perform a detailed study of both the asymptotic behaviour (consistency) and finite time behaviour of the scenario approach in the more general setting of nonconvex minmax optimization problems. In the direction of the asymptotic behaviour of the scenario approach, we present an obstruction to consistency that arises when the decision set is noncompact. In the direction of finite sample guarantees, we establish a general methodology for extracting `probably approximately correct' type estimates for the finite sample behaviour of the scenario approach for a large class of nonconvex problems. △ Less

Submitted 5 June, 2019; v1 submitted 4 June, 2019; originally announced June 2019.

Comments: 25 pages, 4 figures

MSC Class: 90C47; 90C26;

True scale-free networks hidden by finite size effects

Authors: Matteo Serafino, Giulio Cimini, Amos Maritan, Andrea Rinaldo, Samir Suweis, Jayanth R. Banavar, Guido Caldarelli

Abstract: We analyze about two hundred naturally occurring networks with distinct dynamical origins to formally test whether the commonly assumed hypothesis of an underlying scale-free structure is generally viable. This has recently been questioned on the basis of statistical testing of the validity of power law distributions of network degrees by contrasting real data. Specifically, we analyze by finite-s… ▽ More We analyze about two hundred naturally occurring networks with distinct dynamical origins to formally test whether the commonly assumed hypothesis of an underlying scale-free structure is generally viable. This has recently been questioned on the basis of statistical testing of the validity of power law distributions of network degrees by contrasting real data. Specifically, we analyze by finite-size scaling analysis the datasets of real networks to check whether purported departures from the power law behavior are due to the finiteness of the sample size. In this case, power laws would be recovered in the case of progressively larger cutoffs induced by the size of the sample. We find that a large number of the networks studied follow a finite size scaling hypothesis without any self-tuning. This is the case of biological protein interaction networks, technological computer and hyperlink networks, and informational networks in general. Marked deviations appear in other cases, especially infrastructure and transportation but also social networks. We conclude that underlying scale invariance properties of many naturally occurring networks are extant features often clouded by finite-size effects due to the nature of the sample data. △ Less

Submitted 4 December, 2020; v1 submitted 23 May, 2019; originally announced May 2019.

Journal ref: PNAS January 12, 2021 118 (2) e2013825118

Lyapunov-like functions for attitude control via feedback integrators

Authors: Tejaswi K. C., Srikant Sukumar, Ravi Banavar

Abstract: The notion of feedback integrators permits Euclidean integration schemes for dynamical systems evolving on manifolds. Here, a constructive Lyapunov function for the attitude dynamics embedded in an ambient Euclidean space has been proposed. We then combine the notion of feedback integrators with the proposed Lyapunov function to obtain a feedback law for the attitude control system. The combinatio… ▽ More The notion of feedback integrators permits Euclidean integration schemes for dynamical systems evolving on manifolds. Here, a constructive Lyapunov function for the attitude dynamics embedded in an ambient Euclidean space has been proposed. We then combine the notion of feedback integrators with the proposed Lyapunov function to obtain a feedback law for the attitude control system. The combination of the two techniques yields a domain of attraction for the closed loop dynamics, where earlier contributions were based on linearization ideas. Further, the analysis and synthesis of the feedback scheme is carried out entirely in Euclidean space. The proposed scheme is also shown to be robust to numerical errors. △ Less

Submitted 23 March, 2019; originally announced March 2019.

Comments: Submitted to CDC 2019

Exact isoholonomic motion of the planar Purcell's swimmer

Authors: Sudin Kadam, Karmvir Singh Phogat, Ravi N. Banavar, Debasish Chatterjee

Abstract: 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 ob… ▽ More 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. △ Less

Submitted 4 February, 2019; originally announced February 2019.

Discrete time optimal control with frequency constraints for non-smooth systems

Authors: Shruti Kotpalliwar, Pradyumna Paruchuri, Debasish Chatterjee, Ravi Banavar

Abstract: We present a Pontryagin maximum principle for discrete time optimal control problems with (a) pointwise constraints on the control actions and the states, (b) frequency constraints on the control and the state trajectories, and (c) nonsmooth dynamical systems. Pointwise constraints on the states and the control actions represent desired and/or physical limitations on the states and the control val… ▽ More We present a Pontryagin maximum principle for discrete time optimal control problems with (a) pointwise constraints on the control actions and the states, (b) frequency constraints on the control and the state trajectories, and (c) nonsmooth dynamical systems. Pointwise constraints on the states and the control actions represent desired and/or physical limitations on the states and the control values; such constraints are important and are widely present in the optimal control literature. Constraints of the type (b), while less standard in the literature, effectively serve the purpose of describing important spectral properties of inertial actuators and systems. The conjunction of constraints of the type (a) and (b) is a relatively new phenomenon in optimal control but are important for the synthesis control trajectories with a high degree of fidelity. The maximum principle established here provides first order necessary conditions for optimality that serve as a starting point for the synthesis of control trajectories corresponding to a large class of constrained motion planning problems that have high accuracy in a computationally tractable fashion. Moreover, the ability to handle a reasonably large class of nonsmooth dynamical systems that arise in practice ensures broad applicability our theory, and we include several illustrations of our results on standard problems. △ Less

Submitted 27 March, 2019; v1 submitted 19 January, 2019; originally announced January 2019.

Structure-Preserving Constrained Optimal Trajectory Planning of a Wheeled Inverted Pendulum

Authors: Klaus Albert, Karmvir Singh Phogat, Felix Anhalt, Ravi N Banavar, Debasish Chatterjee, Boris Lohmann

Abstract: The Wheeled Inverted Pendulum (WIP) is an underactuated, nonholonomic mechatronic system, and has been popularized commercially as the Segway. Designing a control law for motion planning, that incorporates the state and control constraints, while respecting the configuration manifold, is a challenging problem. In this article we derive a discrete-time model of the WIP system using discrete mechani… ▽ More The Wheeled Inverted Pendulum (WIP) is an underactuated, nonholonomic mechatronic system, and has been popularized commercially as the Segway. Designing a control law for motion planning, that incorporates the state and control constraints, while respecting the configuration manifold, is a challenging problem. In this article we derive a discrete-time model of the WIP system using discrete mechanics and generate optimal trajectories for the WIP system by solving a discrete-time constrained optimal control problem. Further, we describe a nonlinear continuous-time model with parameters for designing a closed loop LQ-controller. A dual control architecture is implemented in which the designed optimal trajectory is then provided as a reference to the robot with the optimal control trajectory as a feedforward control action, and an LQ-controller in the feedback mode is employed to mitigate noise and disturbances for ensuing stable motion of the WIP system. While performing experiments on the WIP system involving aggressive maneuvers with fairly sharp turns, we found a high degree of congruence in the designed optimal trajectories and the path traced by the robot while tracking these trajectories. This corroborates the validity of the nonlinear model and the control scheme. Finally, these experiments demonstrate the highly nonlinear nature of the WIP system and robustness of the control scheme. △ Less

Submitted 2 October, 2019; v1 submitted 29 November, 2018; originally announced November 2018.

Comments: 12 pages, 8 figures, 1 table. arXiv admin note: text overlap with arXiv:1710.10932

A Lagrangian Model to Predict Microscallop Motion in non Newtonian Fluids

Authors: Yashaswini Murthy, Ravi Banavar

Abstract: The need to develop models to predict the motion of microrobots, or robots of a much smaller scale, moving in fluids in a low Reynolds number regime, and in particular, in non Newtonian fluids, cannot be understated. The article develops a Lagrangian based model for one such mechanism - a two-link mechanism termed a microscallop, moving in a low Reynolds number environment in a non Newtonian fluid… ▽ More The need to develop models to predict the motion of microrobots, or robots of a much smaller scale, moving in fluids in a low Reynolds number regime, and in particular, in non Newtonian fluids, cannot be understated. The article develops a Lagrangian based model for one such mechanism - a two-link mechanism termed a microscallop, moving in a low Reynolds number environment in a non Newtonian fluid. The modelling proceeds through the conventional Lagrangian construction for a two-link mechanism and then goes on to model the external fluid forces using empirically based models for viscosity to complete the dynamic model. The derived model is then simulated for different initial conditions and key parameters of the non Newtonian fluid, and the results are corroborated with a few existing experimental results on a similar mechanism under identical conditions. Lastly, with a view to implementing control algorithms we explore accessibility of the system at certain configurations. △ Less

Submitted 15 February, 2019; v1 submitted 17 November, 2018; originally announced November 2018.

Comments: 7 pages, 23 figures

The elixir phase of chain molecule

Authors: Tatjana Škrbić, Trinh X. Hoang, Amos Maritan, Jayanth R. Banavar, Achille Giacometti

Abstract: A phase of matter is a familiar notion for inanimate physical matter. The nature of a phase of matter transcends the microscopic material properties. For example, materials in the liquid phase have certain common properties independent of the chemistry of the constituents: liquids take the shape of the container; they flow; and they can be poured -- alcohol, oil and water as well as a Lennard-Jone… ▽ More A phase of matter is a familiar notion for inanimate physical matter. The nature of a phase of matter transcends the microscopic material properties. For example, materials in the liquid phase have certain common properties independent of the chemistry of the constituents: liquids take the shape of the container; they flow; and they can be poured -- alcohol, oil and water as well as a Lennard-Jones computer model exhibit similar behavior when poised in the liquid phase. Here we identify a hitherto unstudied `phase' of matter, the elixir phase, in a simple model of a polymeric chain whose backbone has the correct local cylindrical symmetry induced by the tangent to the chain. The elixir phase appears on breaking the cylindrical symmetry by adding side spheres along the negative normal direction, as in proteins. This phase, nestled between other phases, has multiple ground states made up of building blocks of helices and almost planar sheets akin to protein native folds. We discuss the similarities of this `phase' of a finite size system to the liquid crystal and spin glass phases. Our findings are relevant for understanding proteins; the creation of novel bio-inspired nano-machines; and also may have implications for life elsewhere in the cosmos. △ Less

Submitted 23 October, 2018; originally announced October 2018.

Comments: 13 pages, 6 figures, to appear in PROTEINS:Structure, Function, and Bioinformatics

Journal ref: Proteins: Structure, Function, and Bioinformatics 87 176-187 (2019)

Discrete Optimal Control of Interconnected Mechanical Systems

Authors: Siddharth H. Nair, Ravi N. Banavar

Abstract: 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… ▽ More 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. △ Less

Submitted 15 November, 2018; v1 submitted 24 September, 2018; originally announced September 2018.

Variational dynamic interpolation for kinematic systems on trivial principal bundles

Authors: Sudin Kadam, Ravi N. Banavar

Abstract: 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… ▽ More 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. △ Less

Submitted 5 August, 2018; v1 submitted 31 July, 2018; originally announced August 2018.

Comments: 10 pages, 1 figure

A simple proof of the discrete time geometric Pontryagin maximum principle on smooth manifolds

Authors: Mishal Assif P K, Debasish Chatterjee, Ravi Banavar

Abstract: We establish a geometric Pontryagin maximum principle for discrete time optimal control problems on finite dimensional smooth manifolds under the following three types of constraints: a) constraints on the states pointwise in time, b) constraints on the control actions pointwise in time, c) constraints on the frequency spectrum of the optimal control trajectories. Our proof follows, in spirit, the… ▽ More We establish a geometric Pontryagin maximum principle for discrete time optimal control problems on finite dimensional smooth manifolds under the following three types of constraints: a) constraints on the states pointwise in time, b) constraints on the control actions pointwise in time, c) constraints on the frequency spectrum of the optimal control trajectories. Our proof follows, in spirit, the path to establish geometric versions of the Pontryagin maximum principle on smooth manifolds indicated in [Cha11] in the context of continuous-time optimal control. △ Less

Submitted 4 June, 2019; v1 submitted 29 June, 2018; originally announced July 2018.

Comments: 11 pages. arXiv admin note: text overlap with arXiv:1708.04419

MSC Class: 49J21

Variational collision avoidance problems on Riemannian manifolds

Authors: Mishal Assif, Ravi Banavar, Anthony Bloch, Margarida Camarinha, Leonardo Colombo

Abstract: In this article we introduce a variational approach to collision avoidance of multiple agents evolving on a Riemannian manifold and derive necessary conditions for extremals. The problem consists of finding non-intersecting trajectories of a given number of agents, among a set of admissible curves, to reach a specified configuration, based on minimizing an energy functional that depends on the vel… ▽ More In this article we introduce a variational approach to collision avoidance of multiple agents evolving on a Riemannian manifold and derive necessary conditions for extremals. The problem consists of finding non-intersecting trajectories of a given number of agents, among a set of admissible curves, to reach a specified configuration, based on minimizing an energy functional that depends on the velocity, covariant acceleration and an artificial potential function used to prevent collision among the agents. The results are validated through numerical experiments on the manifolds $\mathbb{R}^{2}$ and $S^2$. △ Less

Submitted 31 March, 2018; originally announced April 2018.

Modelling and controllability of the motion of a slender, flexible micro-swimmer

Authors: Sudin Kadam, Ravi N. Banavar

Abstract: 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… ▽ More 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. △ Less

Submitted 21 March, 2018; originally announced March 2018.

Comments: 7 pages, 18 figures

A frequency-constrained geometric Pontryagin maximum principle on matrix Lie groups

Authors: Shruti Kotpalliwar, Pradyumna Paruchuri, Karmvir Singh Phogat, Debasish Chatterjee, Ravi Banavar

Abstract: In this article we present a geometric discrete-time Pontryagin maximum principle (PMP) on matrix Lie groups that incorporates frequency constraints on the controls in addition to pointwise constraints on the states and control actions directly at the stage of the problem formulation. This PMP gives first order necessary conditions for optimality, and leads to two-point boundary value problems tha… ▽ More In this article we present a geometric discrete-time Pontryagin maximum principle (PMP) on matrix Lie groups that incorporates frequency constraints on the controls in addition to pointwise constraints on the states and control actions directly at the stage of the problem formulation. This PMP gives first order necessary conditions for optimality, and leads to two-point boundary value problems that may be solved by shooting techniques to arrive at optimal trajectories. We validate our theoretical results with a numerical experiment on the attitude control of a spacecraft on the Lie group SO(3). △ Less

Submitted 27 March, 2019; v1 submitted 8 March, 2018; originally announced March 2018.

Structure-preserving discrete-time optimal maneuvers of a wheeled inverted pendulum

Authors: Karmvir Singh Phogat, Ravi Banavar, Debasish Chatterjee

Abstract: The Wheeled Inverted Pendulum (WIP) is a nonholonomic, underactuated mechanical system, and has been popularized commercially as the {\it Segway}. Designing optimal control laws for point-to-point state-transfer for this autonomous mechanical system, while respecting momentum and torque constraints as well as the underlying manifold, continues to pose challenging problems. In this article we prese… ▽ More The Wheeled Inverted Pendulum (WIP) is a nonholonomic, underactuated mechanical system, and has been popularized commercially as the {\it Segway}. Designing optimal control laws for point-to-point state-transfer for this autonomous mechanical system, while respecting momentum and torque constraints as well as the underlying manifold, continues to pose challenging problems. In this article we present a successful effort in this direction: We employ geometric mechanics to obtain a discrete-time model of the system, followed by the synthesis of an energy-optimal control based on a discrete-time maximum principle applicable to mechanical systems whose configuration manifold is a Lie group. Moreover, we incorporate state and momentum constraints into the discrete-time control directly at the synthesis stage. The control is implemented on a WIP with parameters obtained from an existing prototype; the results are highly encouraging, as demonstrated by numerical experiments. △ Less

Submitted 8 November, 2017; v1 submitted 30 October, 2017; originally announced October 2017.

Almost-global tracking of the unactuated joint in a pendubot

Authors: Aradhana Nayak, Ravi N. Banavar

Abstract: 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 achi… ▽ More 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. △ Less

Submitted 8 November, 2017; v1 submitted 27 October, 2017; originally announced October 2017.

Robust Attitude Tracking for Aerobatic Helicopters: A Geometric Approach

Authors: Nidhish Raj, Ravi N Banavar, Abhishek, Mangal Kothari

Abstract: This paper highlights the significance of the rotor dynamics in control design for small-scale aerobatic helicopters, and proposes two singularity free robust attitude tracking controllers based on the available states for feedback. 1. The first, employs the angular velocity and the flap angle states (a variable that is not easy to measure) and uses a backstep** technique to design a robust comp… ▽ More This paper highlights the significance of the rotor dynamics in control design for small-scale aerobatic helicopters, and proposes two singularity free robust attitude tracking controllers based on the available states for feedback. 1. The first, employs the angular velocity and the flap angle states (a variable that is not easy to measure) and uses a backstep** technique to design a robust compensator (BRC) to \textbf{\textit{actively}} suppress the disturbance induced tracking error. 2. The second exploits the inherent dam** present in the helicopter dynamics leading to a structure preserving, \textbf{\textit{passively}} robust controller (SPR), which is free of angular velocity and flap angle feedback. The BRC controller is designed to be robust in the presence of two types of uncertainties: structured and unstructured. The structured disturbance is due to uncertainty in the rotor parameters, and the unstructured perturbation is modeled as an exogenous torque acting on the fuselage. The performance of the controller is demonstrated in the presence of both types of disturbances through numerical simulations. In contrast, the SPR tracking controller is derived such that the tracking error dynamics inherits the natural dam** characteristic of the helicopter. The SPR controller is shown to be almost globally asymptotically stable and its performance is evaluated experimentally by performing aggressive flip maneuvers. Throughout the study, a nonlinear coupled rotor-fuselage helicopter model with first order flap dynamics is used. △ Less

Submitted 9 January, 2019; v1 submitted 17 September, 2017; originally announced September 2017.

Further insights into the dam**-induced self-recovery phenomenon

Authors: Tejas Kotwal, Roshail Gerard, Ravi Banavar

Abstract: In a series of papers, D. E. Chang, et al., proved and experimentally demonstrated a phenomenon they termed "dam**-induced self-recovery". However, these papers left a few questions concerning the observed phenomenon unanswered - in particular, the effect of the intervening lubricant-fluid and its viscosity on the recovery, the abrupt change in behaviour with the introduction of dam**, a descr… ▽ More In a series of papers, D. E. Chang, et al., proved and experimentally demonstrated a phenomenon they termed "dam**-induced self-recovery". However, these papers left a few questions concerning the observed phenomenon unanswered - in particular, the effect of the intervening lubricant-fluid and its viscosity on the recovery, the abrupt change in behaviour with the introduction of dam**, a description of the energy dynamics, and the curious occurrence of overshoots and oscillations and its dependence on the control law. In this paper we attempt to answer these questions through theory. In particular, we derive an expression for the infinite-dimensional fluid-stool-wheel system, that approximates its dynamics to that of the better understood finite-dimensional case. △ Less

Submitted 17 June, 2018; v1 submitted 16 September, 2017; originally announced September 2017.

Comments: 19 pages, 10 figures, submitted to The Journal of Dynamic Systems, Measurement, and Control

Control Synthesis for an Underactuated Cable Suspended System Using Dynamic Decoupling

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

Abstract: 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 sy… ▽ More 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 backstep** and timescale separation argument based on Tikhonov's theorem. △ Less

Submitted 23 January, 2018; v1 submitted 3 July, 2017; originally announced July 2017.

The Principal Fiber Bundle Structure of the Gimbal-Spacecraft System

Authors: Ravi N Banavar, Arjun Narayanan

Abstract: The gimbal-spacecraft system, that consists of a variable speed control moment gyro (VSCMG) mounted inside a spacecraft, has been employed as an actuator for the attitude control of a spacecraft and has been much studied in the aerospace control community. Employing a Newtonian approach, the equations of motion are derived, and further study focusses on singularity issues and control law synthesis… ▽ More The gimbal-spacecraft system, that consists of a variable speed control moment gyro (VSCMG) mounted inside a spacecraft, has been employed as an actuator for the attitude control of a spacecraft and has been much studied in the aerospace control community. Employing a Newtonian approach, the equations of motion are derived, and further study focusses on singularity issues and control law synthesis. While the geometric mechanics community has studied many mechanical systems of engineering interest, including spinning rotors (or momentum wheels) that are used as actuators, there has not been a particular effort to model and control the gimbal-spacecraft system in a geometric framework. This article serves two purposes: it presents the gimbal-spacecraft system in a geometric mechanics framework, and in particular, highlights the connection form, that could form the basis for future control design, and secondly, the exposition is of a tutorial nature whereby the willing reader, with minimal prerequisites, is introduced to the tools of differential geometry in this context. △ Less

Submitted 22 June, 2017; originally announced June 2017.

Comments: 1 figure

Attitude Tracking Control for Aerobatic Helicopters: A Geometric Approach

Authors: Nidhish Raj, Ravi N. Banavar, Abhishek, Mangal Kothari

Abstract: 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 transform… ▽ More 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 backstep** 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. △ Less

Submitted 28 March, 2017; v1 submitted 26 March, 2017; originally announced March 2017.

Comments: Modified the author affiliations