arXiv subjects

Mangal Kothari

Publications and source records attributed to Mangal Kothari.

At least 19 recordsLinked to original sources

arXiv2026

CacheMPC: Certified Cached Model Predictive Control for Quadruped Locomotion

Model Predictive Control (MPC) is the standard predictive layer in hierarchical quadruped controllers, but the per-cycle QP solve limits the update rate achievable on embedded processors. Because legged gaits revisit a bounded region of state space, MPC solutions admit caching and reuse. This paper proposes \emph{Certified CacheMPC}: a Locality-Sensitive-Hashed cache of horizon contact-force trajectories, partitioned by contact mode, retrieved at query time and accepted only when an a-posteriori per-query certificate confirms primal feasibility and a Lagrangian dual-gap upper bound on cost suboptimality. A bounded-budget controller schedule combines top-$K$ certified retrieval, a deadline-bounded QP solve, and a shifted last-certified fallback. The framework is evaluated on a Unitree Go2 across $2{,}038$ usable cold-controller MuJoCo trials, including a $600$-trial $n\!=\!50$ campaign at three failure-boundary cells, and a first-deploy session on the on-robot NVIDIA Orin NX. The un-gated cache delivers a $25\times$ median solve-time speedup in simulation and an $18.7\times$ median speedup on hardware. At $n\!=\!50$ no statistically significant difference in closed-loop stable rate is detected between the cache variants and the no-cache baseline at any tested cell. The certificate's contribution to closed-loop safety is not resolvable at the present sample size.

cs.RO↗

arXiv2026

Communication-Constrained Energy-Optimal Trajectory Generation for Quadrotor UAVs in Urban Environments

Communication-aware trajectory generation for unmanned aerial vehicles (UAVs) operating in urban environments requires simultaneous consideration of vehicle dynamics, wireless communication quality, obstacle avoidance, and onboard energy limitations. In such missions, UAVs must navigate through obstacle-rich environments while ensuring reliable relay of mission-critical sensory information to ground infrastructure. This results in a highly nonlinear and nonconvex optimal control problem involving coupled communication and flight-dynamics constraints. This paper presents a communication-constrained energy-optimal trajectory generation framework for quadrotor UAVs operating in urban environments. The proposed formulation incorporates full rigid-body quadrotor dynamics, urban wireless communication models, cumulative data throughput constraints, and obstacle avoidance requirements within a unified free-final-time optimal control framework. Unlike conventional approaches based on simplified kinematic or point-mass models, the proposed framework generates dynamically feasible trajectories suitable for practical aerial platforms. The resulting nonconvex optimal control problem is solved iteratively using sequential convex programming (SCP). Numerical simulations for multiple urban mission scenarios demonstrate the ability of the proposed framework to generate energy-efficient and communication-aware trajectories while adapting mission duration according to data relay requirements. The proposed methodology provides a practical framework for autonomous UAV operations requiring reliable communication in dense urban environments.

eess.SY↗

arXiv2026

Multimodal Object Detection Under Sparse Forest-Canopy Occlusion

Reliable detection of humans beneath forest canopy remains a difficult remote-sensing challenge due to sparse, structured, and viewpoint-dependent occlusion. This paper presents a multimodal proof-of-concept pipeline that integrates three complementary approaches: (i) experimental evaluation of LiDAR returns through vegetation to assess the feasibility of active sensing, (ii) visible--thermal image fusion using a multi-scale transform and sparse-representation framework to enhance human saliency, and (iii) synthetic-aperture image formation via Airborne Optical Sectioning (AOS) to suppress canopy clutter. A YOLOv5 detector is fine-tuned on the Teledyne FLIR thermal dataset and evaluated on thermal and fused imagery. Results show that the tested terrestrial LiDAR configuration provides limited penetration for object-level detection, while visible--thermal fusion improves target visibility in low-contrast scenes and AOS enhances ground-plane detection in synthetic forest imagery. The fine-tuned YOLOv5 achieves a mean average precision of $\sim$0.83 on the top three FLIR classes. These findings establish an initial baseline for UAV-deployable search-and-rescue and surveillance systems operating in forested environments, and motivate future work on dedicated forest datasets and real-time multimodal integration.

cs.CV↗

arXiv2026

Model Predictive Static Programming for Discrete-Time Optimal Control on Lie Groups

This paper extends the Model Predictive Static Programming (MPSP) framework for nonlinear systems evolving on Euclidean spaces to simple mechanical systems evolving on Lie groups. Classical optimal control approaches based on Pontryagin's Maximum Principle (PMP) lead to nonlinear two-point boundary value problems (TPBVPs), whose numerical solution becomes particularly challenging on nonlinear configuration spaces. To overcome this difficulty, the proposed Lie-group MPSP framework reformulates the finite-horizon optimal control problem as a sequence of static quadratic programs that admit closed-form control updates, thereby avoiding the need to solve TPBVPs directly. The development relies on left-trivialized variations, intrinsic linearization on Lie groups, and a recursive computation of terminal sensitivity matrices, which together enable computationally efficient real-time implementation. The proposed method is demonstrated through optimal flipping maneuvers of a variable-pitch quadrotor (VPQ) and a single-main-rotor helicopter (SMRH), both of which are capable of generating negative thrust. For validation, continuous-time necessary and sufficient optimality conditions are derived, and the corresponding TPBVP solutions are compared against the trajectories generated by the proposed MPSP method in numerical simulations. In addition, the proposed algorithm is systematically compared with the iterative Linear Quadratic Regulator (iLQR) method, and a detailed numerical study is presented to highlight the relative performance and computational features of the two approaches.

eess.SY↗

arXiv2026

Physics Driven Digital Twin Model for Evaluation of GNSS User Receiver Equipment

This paper presents a physics-consistent digital twin framework for end-to-end modeling and evaluation of Global Navigation Satellite Systems (GNSS) user receiver equipment. In contrast to conventional GNSS simulations that rely on predefined signal models, the proposed framework enforces dynamic consistency between satellite ephemerides, user motion, and received signal observables through trajectory-driven injection of code-phase and Doppler dynamics. The GPS L1 C/A signal is synthesized in accordance with the IS-GPS-200 Rev. N specification, with motion-induced effects derived directly from orbital and user kinematics, and augmented by ionospheric and tropospheric delay models. The resulting complex baseband signal is converted to radio frequency using a software-defined radio platform disciplined by an external reference clock, enabling seamless hardware-in-the-loop integration with commercial and software receivers. Validation across static, moderate-motion, and high-dynamics scenarios, including projectile-like trajectories, demonstrates close agreement between truth-model and receiver-estimated code phase, Doppler, and position, as well as strong correspondence between simulated and measured intermediate frequency spectra. The results establish the proposed digital twin as a high-fidelity, repeatable, and physically consistent platform for GNSS receiver evaluation, tracking-loop stress testing, and development of robust navigation algorithms.

eess.SY↗

arXiv2026

A Universal Optimal Control Strategy for a Tailsitter UAV

This work develops a unified optimal control framework for a Quadrotor Biplane tailsitter UAV capable of operating seamlessly across hover, transition, and cruise flight regimes. Although the tailsitter configuration enables mechanically simple mode switching, the transition maneuver remains challenging due to strong nonlinearities and rapidly varying aerodynamics. To address this, a trajectory optimization scheme based on nonlinear programming with direct collocation is formulated, incorporating nonlinear dynamics, actuator limits, and angle-of-attack constraints. The resulting optimal trajectories are safe, reliable, and time-efficient. For the cruise-to-hover maneuver, optimal trajectories are generated over a range of initial cruise velocities and subsequently learned using feedforward multilayer neural networks. The learned model generalizes across operating conditions and enables real-time generation of constraint-satisfying transition trajectories. These trajectories provide both feedforward control inputs and reference state profiles, which are tracked using a Model Predictive Controller (MPC). The MPC eliminates the need for controller switching or gain scheduling across flight envelopes, enabling a single universal controller for hover, transition, and cruise. A nonlinear Dynamic Inversion (DI) controller is also designed for comparison. Two numerical schemes for MPC are implemented and evaluated. Simulation results across all flight modes demonstrate that MPC achieves superior robustness to parameter uncertainties compared to DI. A computational cost analysis further highlights the trade-off between execution time and performance for the different MPC solvers.

eess.SY↗

arXiv2025

Optimal Solutions to Deflect Earth Crossing Objects Using Laser

This paper solves and analyzes a trajectory optimization problem to deflect Earth-crossing objects (ECOs) employing continuous thrust obtained using a laser ablative system. The optimal control is determined for various initial ECO-Earth configurations to achieve the desired miss distance. The formulation incorporates the gravitational effect on the object due to the Earth using the patched-conic method. The constrained trajectory optimization problem is solved using Non-Linear Programming (NLP). First, the continuous control problem is solved, assuming both constant and variable power consumption, followed by a detailed comparison between the continuous control schemes. Subsequently, the work extends to studying sub-optimal solutions that can accommodate power fluctuations in the controller. The optimal control offers a range of alternative operational methods for asteroid deflection missions with trade-offs in power consumption and the total mission time. For impulsive deflection, the existing work reports two optimal solutions. One of the solutions is found to be better as it leads to a final ECO orbit that has its next Earth passage later than the other solution. Finally, the Moon's gravitational effect on the orbit of an ECO is studied. The reported results provide a comprehensive understanding of various scenarios in the process of ECO deflection.

math.OC↗

arXiv2025

Compliant Control of Quadruped Robots for Assistive Load Carrying

This paper presents a novel method for assistive load carrying using quadruped robots. The controller uses proprioceptive sensor data to estimate external base wrench, that is used for precise control of the robot's acceleration during payload transport. The acceleration is controlled using a combination of admittance control and Control Barrier Function (CBF) based quadratic program (QP). The proposed controller rejects disturbances and maintains consistent performance under varying load conditions. Additionally, the built-in CBF guarantees collision avoidance with the collaborative agent in front of the robot. The efficacy of the overall controller is shown by its implementation on the physical hardware as well as numerical simulations. The proposed control framework aims to enhance the quadruped robot's ability to perform assistive tasks in various scenarios, from industrial applications to search and rescue operations.

cs.RO↗

arXiv2024

Distributed Inverse Dynamics Control for Quadruped Robots using Geometric Optimization

This paper presents a distributed inverse dynamics controller (DIDC) for quadruped robots that addresses the limitations of existing reactive controllers: simplified dynamical models, the inability to handle exact friction cone constraints, and the high computational requirements of whole-body controllers. Current methods either ignore friction constraints entirely or use linear approximations, leading to potential slip and instability, while comprehensive whole-body controllers demand significant computational resources. Our approach uses full rigid-body dynamics and enforces exact friction cone constraints through a novel geometric optimization-based solver. DIDC combines the required generalized forces corresponding to the actuated and unactuated spaces by projecting them onto the actuated space while satisfying the physical constraints and maintaining orthogonality between the base and joint tracking objectives. Experimental validation shows that our approach reduces foot slippage, improves orientation tracking, and converges at least two times faster than existing reactive controllers with generic QP-based implementations. The controller enables stable omnidirectional trotting at various speeds and consumes less power than comparable methods while running efficiently on embedded processors.

cs.RO↗

arXiv2023

Insights to the Forensic Investigation of a Custom Built UAV

Unmanned Aerial Vehicles (UAVs) have revolutionized numerous application fields since their introduction. Alongside this, advancements in mechanics and electronics have simplified and decreased the cost of system design. As a consequence, UAVs have dominated the global market across all sectors from recreational products to military applications. However, the widespread use of UAVs has also contributed to an increase in criminal activity involving them. UAVs have become a common means of delivering narcotics, arms, and ammunition, collecting sensitive personal information, and snooping in restricted areas, among other activities. This could constitute a threat to national security. Despite its growing significance, UAV forensics is still a relatively unexplored field of study. In this paper, we present new insights on UAV forensic analysis in terms of preliminary analysis, accessing the digital containers of the UAV, and retrieving vital data. With the aid of a simulated scenario, a comprehensive methodology for the analysis of retrieved data to establish conclusions on the flight path, source of origin, recover flight data, and acquire media file content is presented.

eess.SY↗

arXiv2023

Cooperative Localization for Autonomous Underwater Vehicles -- a comprehensive review

Cooperative localization is an important technique in environments devoid of GPS-based localization, more so in underwater scenarios, where none of the terrestrial localization techniques based on radio frequency or optics are suitable due to severe attenuation. Given the large swaths of oceans and seas where autonomous underwater vehicles (AUVs) operate, traditional acoustic positioning systems fall short on many counts. Cooperative localization (CL), which involves sharing mutual information amongst the vehicles, has thus emerged as a viable option in the past decade. This paper assimilates the research carried out in AUV cooperative localization and presents a qualitative overview. The cooperative localization approaches are categorized by their cooperation and localization strategies, while the algorithms employed are reviewed on the various challenges posed by the underwater acoustic channel and environment. Furthermore, existing problems and future scope in the domain of underwater cooperative localization are discussed.

eess.SY↗

arXiv2022

Lightweight Multi-Drone Detection and 3D-Localization via YOLO

In this work, we present and evaluate a method to perform real-time multiple drone detection and three-dimensional localization using state-of-the-art tiny-YOLOv4 object detection algorithm and stereo triangulation. Our computer vision approach eliminates the need for computationally expensive stereo matching algorithms, thereby significantly reducing the memory footprint and making it deployable on embedded systems. Our drone detection system is highly modular (with support for various detection algorithms) and capable of identifying multiple drones in a system, with real-time detection accuracy of up to 77\% with an average FPS of 332 (on Nvidia Titan Xp). We also test the complete pipeline in AirSim environment, detecting drones at a maximum distance of 8 meters, with a mean error of $23\%$ of the distance. We also release the source code for the project, with pre-trained models and the curated synthetic stereo dataset.

cs.CV↗

arXiv2021

Design and Development of Underwater Vehicle: ANAHITA

Anahita is an autonomous underwater vehicle which is currently being developed by interdisciplinary team of students at Indian Institute of Technology(IIT) Kanpur with aim to provide a platform for research in AUV to undergraduate students. This is the second vehicle which is being designed by AUV-IITK team to participate in 6th NIOT-SAVe competition organized by the National Institute of Ocean Technology, Chennai. The Vehicle has been completely redesigned with the major improvements in modularity and ease of access of all the components, keeping the design very compact and efficient. New advancements in the vehicle include, power distribution system and monitoring system. The sensors include the inertial measurement units (IMU), hydrophone array, a depth sensor, and two RGB cameras. The current vehicle features hot swappable battery pods giving a huge advantage over the previous vehicle, for longer runtime.

cs.RO↗

arXiv2019

Attitude Control of a Novel Tailsitter: Swiveling Biplane-Quadrotor

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.

eess.SY↗

arXiv2018

Global Attitude Stabilization using Pseudo-Targets

The topological obstructions on the attitude space of a rigid body make global asymptotic stabilization impossible using continuous state-feedback. This paper presents novel algorithms to overcome such topological limitations and achieve arbitrary attitude maneuvers with only continuous, memory-less state-feedback. We first present nonlinear control laws using both rotation matrices and quaternions that give rise to one almost globally asymptotically stabilizable equilibrium along with a nowhere dense set of unstable equilibria. The unstable equilibria are uniquely identified in the attitude error space. Pseudo-targets are then designed to make the controller believe that the attitude error is within the region of attraction of the stable equilibrium. Further, the pseudo-target ensures that maximum control action is provided to push the closed-loop system toward the stable equilibrium. The proposed algorithms are validated using both numerical simulations and experiments to show their simplicity and effectiveness.

eess.SY↗

arXiv2018

Systematic design methodology for development and flight testing of a variable pitch quadrotor biplane VTOL UAV for payload delivery

This paper discusses the conceptual design and proof-of-concept flight demonstration of a novel variable pitch quadrotor biplane Unmanned Aerial Vehicle concept for payload delivery. The proposed design combines vertical takeoff and landing (VTOL), precise hover capabilities of a quadrotor helicopter and high range, endurance and high forward cruise speed characteristics of a fixed wing aircraft. The proposed UAV is designed for a mission requirement of carrying and delivering 6 kg payload to a destination at 16 km from the point of origin. First, the design of proprotors is carried out using a physics based modified Blade Element Momentum Theory (BEMT) analysis, which is validated using experimental data generated for the purpose. Proprotors have conflicting requirement for optimal hover and forward flight performance. Next, the biplane wings are designed using simple lifting line theory. The airframe design is followed by power plant selection and transmission design. Finally, weight estimation is carried out to complete the design process. The proprotor design with 24 deg preset angle and -24 deg twist is designed based on 70% weightage to forward flight and 30% weightage to hovering flight conditions. The operating RPM of the proprotors is reduced from 3200 during hover to 2000 during forward flight to ensure optimal performance during cruise flight. The estimated power consumption during forward flight mode is 64% less than that required for hover, establishing the benefit of this hybrid concept. A proof-of-concept scaled prototype is fabricated using commercial-off-the-shelf parts. A PID controller is developed and implemented on the PixHawk board to enable stable hovering flight and attitude tracking.

eess.SY↗

arXiv2017

Modeling and Control of Inverted Flight of a Variable-Pitch Quadrotor

This paper carries out the mathematical modeling, simulation, and control law design for a quadrotor with variable-pitch propellers. The use of variable-pitch propeller for thrust variation instead of RPM regulation facilitates generation of negative thrust, thereby augmenting the rate of change of thrust generation amenable for aggressive maneuvering. Blade element theory along with momentum theory is used to estimate propeller thrust and torque essential for formulating equation of motion of the vehicle. The proposed flight dynamics model is used for non-linear control design using dynamic inversion technique, which is then used to stabilize, track reference trajectory, and simulate flip maneuver. The rotor torque is an irrational function of the control input which makes the control design challenging. To address this problem, the control design employs three loops. The outer loop solves the translational dynamics to generate the thrust, pitch angle, and roll angle commands required to track the prescribed trajectory. Using the command generated in the outer loop, the inner loop simplifies the rotational dynamics to provide the desired rate of angular velocities. A control allocation loop is added to address the problem of nonlinearity associated with rotor torque. This is done by introducing the derivative of thrust coefficient as a virtual control input. These virtual inputs determine the derivatives of thrust and body moments, which in turn is used to generate the required thrust and body moments. The concept is validated by showing attitude stabilization in real flight for a variable pitch quadrotor. The performance of the proposed design is shown through simulated results for attitude stabilization and trajectory following. Reverse thrust capability of variable-pitch quadrotor is also shown by performing flip maneuver in which quadrotor roll angle changes from 0 to 180 degrees.

eess.SY↗

arXiv2017

Robust Attitude Tracking for Aerobatic Helicopters: A Geometric Approach

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 backstepping technique to design a robust compensator (BRC) to \textbf{\textit{actively}} suppress the disturbance induced tracking error. 2. The second exploits the inherent damping 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 damping 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.

eess.SY↗