Showing 1–20 of 20 results for author: Banavar, R N

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.

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.

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.

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.

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.

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.

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

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

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

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.

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

Almost-global tracking for a rigid body with internal rotors

Authors: Aradhana Nayak, Ravi N. Banavar

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

Submitted 24 March, 2017; v1 submitted 22 March, 2017; originally announced March 2017.

Symmetries in the wheeled inverted pendulum mechanism

Authors: Sneha Gajbhiye, Ravi N. Banavar, Sergio Delgado

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

Submitted 29 December, 2016; v1 submitted 3 December, 2016; originally announced December 2016.

Comments: 20 pages, 2 figures, Submitted to Nonlinear Dynamics: An International Journal of Nonlinear Dynamics and Chaos in Engineering Systems

Circular orbit spacecraft control at the L4 point using Lyapunov functions

Authors: Rachana Agrawal, Ravi N Banavar

Abstract: The objective of this work is to demonstrate the utility of Lyapunov functions in control synthesis for the purpose of maintaining and stabilizing a spacecraft in a circular orbit around the L4 point in the circular restricted three body problem (CRTBP). Incorporating the requirements of a fixed radius orbit and a desired angular momentum, a Lyapunov function is constructed and the requisite analy… ▽ More The objective of this work is to demonstrate the utility of Lyapunov functions in control synthesis for the purpose of maintaining and stabilizing a spacecraft in a circular orbit around the L4 point in the circular restricted three body problem (CRTBP). Incorporating the requirements of a fixed radius orbit and a desired angular momentum, a Lyapunov function is constructed and the requisite analysis is performed to obtain a controller. Asymptotic stability is proved in a defined region around the L4 point using LaSalle's principle. △ Less

Submitted 14 April, 2016; v1 submitted 25 November, 2015; originally announced November 2015.

Comments: Accepted for presentation at European Control Conference 2016

Geometric approach to tracking and stabilization for a spherical robot actuated by internal rotors

Authors: Sneha Gajbhiye, Ravi N. Banavar

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

Submitted 13 December, 2016; v1 submitted 2 November, 2015; originally announced November 2015.