-
Continuous Monitoring for Road Flooding With Satellite Onboard Computing For Navigation for OrbitalAI Φsat-2 challenge
Authors:
Vishesh Vatsal,
Gouranga Nandi,
Primo Manilal
Abstract:
Continuous monitoring for road flooding could be achieved through onboard computing of satellite imagery to generate near real-time insights made available to generate dynamic information for maps used for navigation. Given the existing computing hardware like the one considered for the PhiSat-2 mission, the paper describes the feasibility of running the road flooding detection. The simulated onbo…
▽ More
Continuous monitoring for road flooding could be achieved through onboard computing of satellite imagery to generate near real-time insights made available to generate dynamic information for maps used for navigation. Given the existing computing hardware like the one considered for the PhiSat-2 mission, the paper describes the feasibility of running the road flooding detection. The simulated onboard imagery dataset development and its annotation process for the OrbitalAI Φsat-2 challenge is described. The flooding events in the city of Bengaluru, India were considered for this challenge. This is followed by the model architecture selection, training, optimization and accuracy results for the model. The results indicate that it is possible to build low size, high accuracy models for the road flooding use case.
△ Less
Submitted 5 May, 2024;
originally announced May 2024.
-
Concept-based Anomaly Detection in Retail Stores for Automatic Correction using Mobile Robots
Authors:
Aditya Kapoor,
Vartika Sengar,
Nijil George,
Vighnesh Vatsal,
Jayavardhana Gubbi,
Balamuralidhar P,
Arpan Pal
Abstract:
Tracking of inventory and rearrangement of misplaced items are some of the most labor-intensive tasks in a retail environment. While there have been attempts at using vision-based techniques for these tasks, they mostly use planogram compliance for detection of any anomalies, a technique that has been found lacking in robustness and scalability. Moreover, existing systems rely on human interventio…
▽ More
Tracking of inventory and rearrangement of misplaced items are some of the most labor-intensive tasks in a retail environment. While there have been attempts at using vision-based techniques for these tasks, they mostly use planogram compliance for detection of any anomalies, a technique that has been found lacking in robustness and scalability. Moreover, existing systems rely on human intervention to perform corrective actions after detection. In this paper, we present Co-AD, a Concept-based Anomaly Detection approach using a Vision Transformer (ViT) that is able to flag misplaced objects without using a prior knowledge base such as a planogram. It uses an auto-encoder architecture followed by outlier detection in the latent space. Co-AD has a peak success rate of 89.90% on anomaly detection image sets of retail objects drawn from the RP2K dataset, compared to 80.81% on the best-performing baseline of a standard ViT auto-encoder. To demonstrate its utility, we describe a robotic mobile manipulation pipeline to autonomously correct the anomalies flagged by Co-AD. This work is ultimately aimed towards develo** autonomous mobile robot solutions that reduce the need for human intervention in retail store management.
△ Less
Submitted 21 October, 2023;
originally announced October 2023.
-
Auto-TransRL: Autonomous Composition of Vision Pipelines for Robotic Perception
Authors:
Aditya Kapoor,
Nijil George,
Vartika Sengar,
Vighnesh Vatsal,
Jayavardhana Gubbi
Abstract:
Creating a vision pipeline for different datasets to solve a computer vision task is a complex and time consuming process. Currently, these pipelines are developed with the help of domain experts. Moreover, there is no systematic structure to construct a vision pipeline apart from relying on experience, trial and error or using template-based approaches. As the search space for choosing suitable a…
▽ More
Creating a vision pipeline for different datasets to solve a computer vision task is a complex and time consuming process. Currently, these pipelines are developed with the help of domain experts. Moreover, there is no systematic structure to construct a vision pipeline apart from relying on experience, trial and error or using template-based approaches. As the search space for choosing suitable algorithms for achieving a particular vision task is large, human exploration for finding a good solution requires time and effort. To address the following issues, we propose a dynamic and data-driven way to identify an appropriate set of algorithms that would be fit for building the vision pipeline in order to achieve the goal task. We introduce a Transformer Architecture complemented with Deep Reinforcement Learning to recommend algorithms that can be incorporated at different stages of the vision workflow. This system is both robust and adaptive to dynamic changes in the environment. Experimental results further show that our method also generalizes well to recommend algorithms that have not been used while training and hence alleviates the need of retraining the system on a new set of algorithms introduced during test time.
△ Less
Submitted 7 September, 2022;
originally announced September 2022.
-
Challenges in Applying Robotics to Retail Store Management
Authors:
Vartika Sengar,
Aditya Kapoor,
Nijil George,
Vighnesh Vatsal,
Jayavardhana Gubbi,
Balamuralidhar P,
Arpan Pal
Abstract:
An autonomous retail store management system entails inventory tracking, store monitoring, and anomaly correction. Recent attempts at autonomous retail store management have faced challenges primarily in perception for anomaly detection, as well as new challenges arising in mobile manipulation for executing anomaly correction. Advances in each of these areas along with system integration are neces…
▽ More
An autonomous retail store management system entails inventory tracking, store monitoring, and anomaly correction. Recent attempts at autonomous retail store management have faced challenges primarily in perception for anomaly detection, as well as new challenges arising in mobile manipulation for executing anomaly correction. Advances in each of these areas along with system integration are necessary for a scalable solution in this domain.
△ Less
Submitted 18 August, 2022;
originally announced August 2022.
-
Iwasawa Invariants for Symmetric Square Representations
Authors:
Anwesh Ray,
R. Sujatha,
Vinayak Vatsal
Abstract:
Let $p\geq 5$ be a prime, and $\mathfrak{p}$ a prime of $\bar{\mathbb{Q}}$ above $p$. Let $g_1$ and $g_2$ be $\mathfrak{p}$-ordinary, $\mathfrak{p}$-distinguished and $p$-stabilized cuspidal newforms of nebentype characters $ε_1, ε_2$ respectively, and weight $k\geq 2$, whose associated newforms have level prime to $p$. Assume that the residual representations at $\mathfrak{p}$ associated to…
▽ More
Let $p\geq 5$ be a prime, and $\mathfrak{p}$ a prime of $\bar{\mathbb{Q}}$ above $p$. Let $g_1$ and $g_2$ be $\mathfrak{p}$-ordinary, $\mathfrak{p}$-distinguished and $p$-stabilized cuspidal newforms of nebentype characters $ε_1, ε_2$ respectively, and weight $k\geq 2$, whose associated newforms have level prime to $p$. Assume that the residual representations at $\mathfrak{p}$ associated to $g_1$ and $g_2$ are absolutely irreducible and isomorphic. Then, the imprimitive $p$-adic L-functions associated with the symmetric square representations are shown to exhibit a congruence modulo $\mathfrak{p}$. Furthermore, the analytic and algebraic Iwasawa invariants associated to these representations of the $g_i$ are shown to be related. Along the way, we give a complete proof of the integrality of the $\mathfrak{p}$-adic L-function, normalized with Hida's canonical period. This fills a gap in the literature, since, despite the result being widely accepted, no complete proof seems to ever have been written down. On the algebraic side, we establish the corresponding congruence for Greenberg's Selmer groups, and verify that the Iwasawa main conjectures for the twisted symmetric square representations for $g_1$ and $g_2$ are compatible with the congruences.
△ Less
Submitted 11 June, 2023; v1 submitted 28 November, 2021;
originally announced November 2021.
-
Analytical Inverse Kinematics for a 5-DoF Robotic Arm with a Prismatic Joint
Authors:
Vighnesh Vatsal,
Guy Hoffman
Abstract:
We present an analytical solution for the inverse kinematics (IK) of a robotic arm with one prismatic joint and four revolute joints. This 5-DoF design is a result of minimizing weight while preserving functionality of the device in a wearable usage context. Generally, the IK problem for a 5-DoF robot does not guarantee solutions due to the system being over-constrained. We obtain an analytical so…
▽ More
We present an analytical solution for the inverse kinematics (IK) of a robotic arm with one prismatic joint and four revolute joints. This 5-DoF design is a result of minimizing weight while preserving functionality of the device in a wearable usage context. Generally, the IK problem for a 5-DoF robot does not guarantee solutions due to the system being over-constrained. We obtain an analytical solution by applying geometric projections and limiting the ranges of motion for each DoF. We validate this solution by reconstructing randomly sampled end-effector poses, and find position errors below 2 cm and orientation errors below 4 degrees.
△ Less
Submitted 14 November, 2020;
originally announced November 2020.
-
GTOC X: Karmarkar's Gang's Approach and Results
Authors:
Aniket Bhushan,
Vishesh Vatsal,
Sri Anish Vutukuri,
C Barath,
Abhijit Bannerji
Abstract:
This paper describes the methods used and the results obtained by team Karmarkar's Gang for the 10th edition of the Global Trajectory Optimization Competition. The methods used by our team are described. These methods involve: mothership targeting flyby to target high-value stars using a single impulse, fast ships targeting the edge of the galaxy and settler ships having a fast expansion, time-opt…
▽ More
This paper describes the methods used and the results obtained by team Karmarkar's Gang for the 10th edition of the Global Trajectory Optimization Competition. The methods used by our team are described. These methods involve: mothership targeting flyby to target high-value stars using a single impulse, fast ships targeting the edge of the galaxy and settler ships having a fast expansion, time-optimal three impulse transfer strategy to select the targets to get fast and wide spatial distribution. It is seen that there is a scope of improvement with respect to multi-star targeting for motherships. The results of the strategy are discussed.
△ Less
Submitted 31 October, 2020;
originally announced November 2020.
-
On the $\mathcal L$-invariant of the adjoint of a weight one modular form
Authors:
Marti Roset,
Victor Rotger,
Vinayak Vatsal
Abstract:
The purpose of this article is proving the equality of two natural $\mathcal L$-invariants attached to the adjoint representation of a weigth one cusp form, each defined by purely analytic, respectively algebraic means. The proof departs from Greenberg's definition of the algebraic $\mathcal L$-invariant as a universal norm of a canonical $\mathbb{Z}_p$-extension of $\mathbb{Q}_p$ associated to th…
▽ More
The purpose of this article is proving the equality of two natural $\mathcal L$-invariants attached to the adjoint representation of a weigth one cusp form, each defined by purely analytic, respectively algebraic means. The proof departs from Greenberg's definition of the algebraic $\mathcal L$-invariant as a universal norm of a canonical $\mathbb{Z}_p$-extension of $\mathbb{Q}_p$ associated to the representation. We relate it to a certain $2\times 2$ regulator of $p$-adic logarithms of global units by means of class field theory, which we then show to be equal to the analytic $\mathcal L$-invariant computed by Rivero and the second author.
△ Less
Submitted 11 December, 2019;
originally announced December 2019.
-
Overview of Guidance, Navigation and Control System of the TeamIndus lunar lander
Authors:
Vishesh Vatsal,
C. Barath,
J. Yogeshwaran,
Deepana Gandhi,
Chhavilata Sahu,
Karthic Balasubramanian,
Shyam Mohan,
Midhun S. Menon,
P. Natarajan,
Vivek Raghavan
Abstract:
TeamIndus' lunar logistics vision includes multiple lunar missions to meet requirements of science, commercial and efforts towards global exploration. The first mission is slated for launch in 2020. The prime objective is to demonstrate autonomous precision lunar landing, and Surface Exploration Rover to collect data on the vicinity of the landing site. TeamIndus has developed various technologies…
▽ More
TeamIndus' lunar logistics vision includes multiple lunar missions to meet requirements of science, commercial and efforts towards global exploration. The first mission is slated for launch in 2020. The prime objective is to demonstrate autonomous precision lunar landing, and Surface Exploration Rover to collect data on the vicinity of the landing site. TeamIndus has developed various technologies towards lowering the access barrier to the lunar surface. This paper shall provide an overview of design of lander GNC system. The design of the GNC system has been described after concluding studies on sensor and actuator configurations. Frugal design approach is followed in the selection of GNC hardware. The paper describes the constraints for the orbital maneuvers and the lunar descent strategy. Various aspects of the GNC design of autonomous lunar descent maneuver: timeline of events, guidance, inertial and optical terrain-relative navigation schemes are described. The GNC software description focuses on system architecture, modes of operation, and core elements of the GNC software. The GNC algorithms have been tested using Monte-Carlo simulations and Processor-in-Loop runs. The paper concludes with a summary of key risk-mitigation studies for soft landing.
△ Less
Submitted 25 July, 2019;
originally announced July 2019.
-
Test vectors for some ramified representations
Authors:
V. Vatsal
Abstract:
We give an explicit construction of test vectors for $T$-equivariant linear functionals on representations $Π$ of $GL_2$ of a $p$-adic field $F$, where $T$ is a non-split torus. Of particular interest is the case when both the representations are ramified; we completely solve this problem for principal series and Steinberg representations of $GL_2$, as well as for depth zero supercuspidals over…
▽ More
We give an explicit construction of test vectors for $T$-equivariant linear functionals on representations $Π$ of $GL_2$ of a $p$-adic field $F$, where $T$ is a non-split torus. Of particular interest is the case when both the representations are ramified; we completely solve this problem for principal series and Steinberg representations of $GL_2$, as well as for depth zero supercuspidals over $\mathbf{Q}_p$. A key ingredient is a theorem of Casselman and Silberger, which allows us to quickly reduce almost all cases to that of the principal series, which can be analyzed directly. Our method shows that the only genuinely difficult cases are the characters of $T$ which occur in the primitive part (or "type") of $Π$ when $Π$ is supercuspidal. The method to handle the depth zero case is based on modular representation theory, motivated by considerations from Deligne-Lusztig theory and the de Rham cohomology of Deligne-Lusztig-Drinfeld curves. The proof also reveals some interesting features related to the Langlands correspondence in characteristic $p$. We show in particular that the test vector problem has an obstruction in characteristic $p$ beyond the root number criterion of Waldspurger and Tunnell, and exhibits an unexpected dichotomy related to the weights in Serre's conjecture and the signs of standard Gauss sums.
△ Less
Submitted 20 June, 2018;
originally announced June 2018.
-
Iwasawa Theory for Artin Representations, I
Authors:
R. Greenberg,
V. Vatsal
Abstract:
This article is the first of a pair of articles dealing with the Iwasawa theory of modular forms of weight 1 and, more generally, of Artin representations satisfying certain conditions. The main results in this part analyze the structure of certain Selmer groups for the Artin representation. In particular, it is shown that the Selmer groups are co-torsion as $Λ$-modules. For each Selmer group, we…
▽ More
This article is the first of a pair of articles dealing with the Iwasawa theory of modular forms of weight 1 and, more generally, of Artin representations satisfying certain conditions. The main results in this part analyze the structure of certain Selmer groups for the Artin representation. In particular, it is shown that the Selmer groups are co-torsion as $Λ$-modules. For each Selmer group, we consider a generator of the characteristic ideal of its Pontrjagin dual. We call that the algebraic p-adic L-function. We also construct an analytic $p$-adic L-function via deformation to higher weights. Both of these $p$-adic L-functions should conjecturally have an interpolation property involving $p$-adic logarithms of global units analogous to Stark units. The proof of the interpolation property for the algebraic $p$-adic L-function will be given in Part 2 of this work.
△ Less
Submitted 14 June, 2018;
originally announced June 2018.
-
On the Iwasawa invariants of elliptic curves
Authors:
Ralph Greenberg,
Vinayak Vatsal
Abstract:
Let p be an odd prime. Suppose that E is a modular elliptic curve/Q with good ordinary reduction at p. Let Q_{oo} denote the cyclotomic Z_p-extension of Q. It is conjectured that Sel_E(Q_{oo}) is a cotorsion Lambda-module and that its characteristic ideal is related to the p-adic L-function associated to E. Under certain hypotheses we prove that the validity of these conjectures is preserved by…
▽ More
Let p be an odd prime. Suppose that E is a modular elliptic curve/Q with good ordinary reduction at p. Let Q_{oo} denote the cyclotomic Z_p-extension of Q. It is conjectured that Sel_E(Q_{oo}) is a cotorsion Lambda-module and that its characteristic ideal is related to the p-adic L-function associated to E. Under certain hypotheses we prove that the validity of these conjectures is preserved by congruences between the Fourier expansions of the associated modular forms.
△ Less
Submitted 18 June, 1999;
originally announced June 1999.