SearcharxivSearch

arXiv subjects

Tejaswi K. C.

Publications and source records attributed to Tejaswi K. C..

11 recordsLinked to original sources

Max-Entropy Moment Filtering for Stochastic Hybrid Systems

Stochastic hybrid systems combine continuous-time stochastic dynamics with discrete reset events, producing intrinsically non-Gaussian and often multimodal uncertainty. A consistent propagation law must also account for boundary-induced probability flux across guard sets, making direct density propagation through hybrid Fokker-Planck equations expensive. We develop a hybrid extension of the Max-Entropy Moment Kalman Filter (MEM-KF) that performs filtering from partial statistical information by propagating a finite collection of moments through stochastic hybrid dynamics and reconstructing beliefs using moment-constrained maximum-entropy distributions. The key step is a moment propagation rule derived from Dynkin's formula with a jump-sum, in which reset effects appear as a boundary-flux correction over the guard set. This yields tractable moment dynamics without solving the underlying hybrid PDE. In a stochastic bouncing-ball example, the proposed method captures reset-induced non-Gaussianity through corrected moment equations while retaining the MEM-KF's optimization-based maximum-entropy representation.

eess.SY

Transfer Operators for Stochastic Hybrid Systems on Manifolds with Guard-Induced Resets

This paper develops a transfer operator framework for stochastic hybrid systems with guard-induced resets, encompassing both the Koopman and Frobenius--Perron operators. Exploiting their duality, we derive a unified formulation in which observables and probability densities evolve under adjoint generators corresponding to the backward and forward Kolmogorov equations. The formulation is developed in a global and intrinsic manner on differentiable manifolds, ensuring consistency with the underlying geometric structure of the state space. In addition, we propose a finite volume computational scheme on manifolds that preserves total probability mass while accurately capturing fluxes across guards and reset-induced transfers. The proposed framework provides a unified and geometrically consistent approach to uncertainty propagation in stochastic hybrid systems, bridging continuous stochastic dynamics and hybrid transitions within a transfer operator perspective.

math.DS

Uncertainty Propagation in Stochastic Hybrid Systems with Dimension-Varying Resets

This paper studies probability density evolution for stochastic hybrid systems with reset maps that change the dimension of the continuous state across modes. Existing Frobenius--Perron formulations typically represent reset-induced probability transfer through boundary conditions, which is insufficient when resets map guard sets into the interior or onto lower-dimensional subsets of another mode. We develop a weak-form formulation in which reset-induced transfer is represented by the pushforward of probability flux across the guard, yielding a unified description for such systems. The proposed framework naturally captures both cases: when the reset decreases dimension, the transferred probability appears as an interior source density, whereas when the reset increases dimension, it generally appears as a singular source supported on a lower-dimensional subset. The approach is illustrated using a stochastic hybrid model in which two particles merge into one and later split back into two, demonstrating how dimension-changing resets lead to source terms beyond classical boundary-condition-based formulations.

math.OC

Invariant Kalman Filter for Relative Dynamics

This paper develops a geometric framework for invariant filtering of relative dynamics on Lie groups. We first revisit the notion of state trajectory independence, under which the estimation error evolves autonomously, and derive new equivalent conditions by decomposing the system vector field into left-invariant, intrinsic, and right-invariant components. Building on this result, we introduce the concept of relative trajectory independence to characterize when the relative motion between two dynamical systems is autonomous. A key theoretical finding is that relative trajectory independence automatically ensures state trajectory independence for the corresponding estimation error. This connection provides the foundation for constructing invariant filters that preserve the Lie group structure, maintain exact linearization of the error dynamics, and enable consistent covariance propagation. These are illustrated with numerical examples.

eess.SY

Uncertainty propagation of stochastic hybrid systems: a case study for types of jump

Stochastic hybrid systems are dynamic systems that undergo both random continuous-time flows and random discrete jumps. Depending on how randomness is introduced into the continuous dynamics, discrete transitions, or both, stochastic hybrid systems exhibit distinct characteristics. This paper investigates the role of uncertainties in the interplay between continuous flows and discrete jumps by studying probability density propagation. Specifically, we formulate stochastic Koopman/Frobenius-Perron operators for three types of one-dimensional stochastic hybrid systems to uncover their unique dynamic characteristics and verify them using Monte Carlo simulations.

math.OC

Mean Field Game and Control for Switching Hybrid Systems

Mean field games and controls involve guiding the behavior of large populations of interacting agents, where each individual's influence on the group is negligible but collectively impacts overall dynamics. Hybrid systems integrate continuous dynamics with discrete transitions, effectively modeling the complex interplay between continuous flows and instantaneous jumps in a unified framework. This paper formulates mean field game and control strategies for switching hybrid systems and proposes computational methods to solve the resulting integro-partial differential equation. This approach enables scalable, decentralized decision-making in large-scale switching systems, which is illustrated through numerical examples in an emergency evacuation scenario with sudden changes in the surrounding environment.

math.OC

Constrained Imitation Learning for a Flapping Wing Unmanned Aerial Vehicle

This paper presents a data-driven optimal control policy for a micro flapping wing unmanned aerial vehicle. First, a set of optimal trajectories are computed off-line based on a geometric formulation of dynamics that captures the nonlinear coupling between the large angle flapping motion and the quasi-steady aerodynamics. Then, it is transformed into a feedback control system according to the framework of imitation learning. In particular, an additional constraint is incorporated through the learning process to enhance the stability properties of the resulting controlled dynamics. Compared with conventional methods, the proposed constrained imitation learning eliminates the need to generate additional optimal trajectories on-line, without sacrificing stability. As such, the computational efficiency is substantially improved. Furthermore, this establishes the first nonlinear control system that stabilizes the coupled longitudinal and lateral dynamics of flapping wing aerial vehicle without relying on averaging or linearization. These are illustrated by numerical examples for a simulated model inspired by Monarch butterflies.

cs.RO

Iterative Supervised Learning for Regression with Constraints

Regression in supervised learning often requires the enforcement of constraints to ensure that the trained models are consistent with the underlying structures of the input and output data. This paper presents an iterative procedure to perform regression under arbitrary constraints. It is achieved by alternating between a learning step and a constraint enforcement step, to which an affine extension function is incorporated. We show this leads to a contraction mapping under mild assumptions, from which the convergence is guaranteed analytically. The presented proof of convergence in regression with constraints is the unique contribution of this paper. Furthermore, numerical experiments illustrate improvements in the trained model in terms of the quality of regression, the satisfaction of constraints, and also the stability in training, when compared to other existing algorithms.

math.OC

Geometric Optimal Controls for Flapping Wing UAV on a Lie Group

Inspired by flight characteristics captured from live Monarch butterflies, an optimal control problem is presented while accounting the effects of low-frequency flapping and abdomen undulation. A flapping-wing aerial vehicle is modeled as an articulated rigid body, and its dynamics are developed according to Lagrangian mechanics on an abstract Lie group. This provides an elegant, global formulation of the dynamics for flapping-wing aerial vehicles, avoiding complexities and singularities associated with local coordinates. This is utilized to identify an optimal periodic motion that minimizes energy variations, and an optimal control is formulated to stabilize the periodic motion. Furthermore, the outcome of this paper can be applied to optimal control for any Lagrangian system on a Lie group with a configuration-dependent inertia.

math.OC

Dynamics and Control of a Flapping Wing UAV with Abdomen Undulation Inspired by Monarch Butterfly

This paper presents a dynamic model and a control system for a flapping-wing unmanned aerial vehicle. Inspired by flight characteristics captured from live Monarch butterflies, a new dynamic model is presented to account the effects of low-frequency flapping and abdomen undulation. We developed it according to Lagrangian mechanics on a Lie group to obtain an elegant, global formulation of dynamics. Then, a feedback control system is presented to asymptotically stabilize periodic motions with active motion of abdomen, and its stability is verified according to Floquet theory. In particular, it is illustrated that the abdomen undulation has the desirable effects of reducing the variation of the total energy and also improving the stability of the proposed control system.

eess.SY

Lyapunov-like functions for attitude control via feedback integrators

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.

eess.SY