arXiv subjects

Kristi A. Morgansen

Publications and source records attributed to Kristi A. Morgansen.

16 recordsLinked to original sources

arXiv2026

Observability Conditions and Filter Design for Visual Pose Estimation via Dual Quaternions

This paper presents a dual quaternion framework for 6-DOF visual target tracking that addresses key limitations of perspective-n-point (P$n$P) solvers: sensitivity to noise and outliers, and inability to propagate estimates through measurement dropouts. A nonlinear observability analysis is performed using a Lie algebraic approach, deriving sufficient conditions for local observability under two sensing modalities: relative position vector and unit vector measurements. For the unit vector case, the classical collinear feature point degeneracy of the perspective-three-point problem is recovered through rank analysis of the observability codistribution matrix, providing a control-theoretic interpretation of a previously geometric result. A dual quaternion Lie group unscented Kalman filter is then developed, directly modeling relative dynamics without assumptions about cooperative measurements or slowly-varying motion. Simulations demonstrate improved pose estimation accuracy and robustness to occlusions compared to an off-the-shelf P$n$P solver. Results are broadly applicable to visual-inertial navigation, simultaneous localization and mapping, and P$n$P solver development.

eess.SY↗

arXiv2026

Pose Estimation of a Thruster-Driven Bioinspired Multi-Link Robot

This work demonstrates simultaneous pose (position and orientation) and shape estimation for a free-floating, bioinspired multi-link robot with unactuated joints, link-mounted thrusters for control, and a single gyroscope per link, resulting in an underactuated, minimally sensed platform. Because the inter-link joint angles are constrained, translation and rotation of the multi-link system requires cyclic, reciprocating actuation of the thrusters, referred to as a gait. Through a proof-of-concept hardware experiment and offline analysis, we show that the robot's shape can be reliably estimated using an Unscented Kalman Filter augmented with Gaussian process residual models to compensate for non-zero-mean, non-Gaussian noise, while the pose exhibits drift expected from gyroscope integration in the absence of absolute position measurements. Experimental results demonstrate that a Gaussian process model trained on a multi-gait dataset (forward, backward, left, right, and turning) performs comparably to one trained exclusively on forward-gait data, revealing an overlap in the gait input space, which can be exploited to reduce per-gait training data requirements while enhancing the filter's generalizability across multiple gaits. Lastly, we introduce a heuristic derived from the observability Gramian to correlate joint angle estimate quality with gait periodicity and thruster inputs, highlighting how control affects estimation quality.

cs.RO↗

arXiv2025

Modeling, Observability, and Inertial Parameter Estimation of a Planar Multi-Link System with Thrusters

This research provides a theoretical foundation for modeling and real-time estimation of both the pose and inertial parameters of a free-floating multi-link system with link thrusters, which are essential for safe and effective controller design and performance. First, we adapt a planar nonlinear multi-link snake robot model to represent a planar chain of bioinspired salp robots by removing joint actuators, introducing link thrusters, and allowing for non-uniform link lengths, masses, and moments of inertia. Second, we conduct a nonlinear observability analysis of the multi-link system with link thrusters, proving that the link angles, angular velocities, masses, and moments of inertia are locally observable when equipped with inertial measurement units and operating under specific thruster conditions. The analytical results are demonstrated in simulation with a three-link system.

cs.RO↗

arXiv2025

Relative Pose Observability Analysis Using Dual Quaternions

Relative pose (position and orientation) estimation is an essential component of many robotics applications. Fiducial markers, such as the AprilTag visual fiducial system, yield a relative pose measurement from a single marker detection and provide a powerful tool for pose estimation. In this paper, we perform a Lie algebraic nonlinear observability analysis on a nonlinear dual quaternion system that is composed of a relative pose measurement model and a relative motion model. We prove that many common dual quaternion expressions yield Jacobian matrices with advantageous block structures and rank properties that are beneficial for analysis. We show that using a dual quaternion representation yields an observability matrix with a simple block triangular structure and satisfies the necessary full rank condition.

eess.SY↗

arXiv2025

Optimal Fiducial Marker Placement for Satellite Proximity Operations Using Observability Gramians

This paper investigates optimal fiducial marker placement on the surface of a satellite performing relative proximity operations with an observer satellite. The absolute and relative translation and attitude equations of motion for the satellite pair are modeled using dual quaternions. The observability of the relative dual quaternion system is analyzed using empirical observability Gramian methods. The optimal placement of a fiducial marker set, in which each marker gives simultaneous optical range and attitude measurements, is determined for the pair of satellites. A geostationary flyby between the observing body (chaser) and desired (target) satellites is numerically simulated and the optimal fiducial placement sets of five and ten on the surface of the desired satellite are solved. It is shown that the optimal solution maximizes the distance between fiducial markers and selects marker locations that are most sensitive to measuring changes in the state during the nonlinear trajectory, despite being visible for less time than other candidate marker locations. Definitions and properties of quaternions and dual quaternions, and parallels between the two, are presented alongside the relative motion model.

eess.SY↗

arXiv2025

Sensor Placement on a Cantilever Beam Using Observability Gramians

Working from an observability characterization based on output energy sensitivity to changes in initial conditions, we derive both analytical and empirical observability Gramian tools for a class of continuum material systems. Using these results, optimal sensor placement is calculated for an Euler-Bernoulli cantilever beam for the following cases: analytical observability for the continuum system and analytical observability for a finite number of modes. Error covariance of an Unscented Kalman Filter is determined for both cases and compared to randomly placed sensors to demonstrate effectiveness of the techniques.

eess.SY↗

arXiv2024

Sensor Placement for Flapping Wing Model Using Stochastic Observability Gramians

Systems in nature are stochastic as well as nonlinear. In traditional applications, engineered filters aim to minimize the stochastic effects caused by process and measurement noise. Conversely, a previous study showed that the process noise can reveal the observability of a system that was initially categorized as unobservable when deterministic tools were used. In this paper, we develop a stochastic framework to explore observability analysis and sensor placement. This framework allows for direct studies of the effects of stochasticity on optimal sensor placement and selection to improve filter error covariance. Numerical results are presented for sensor selection that optimizes stochastic empirical observability in a bioinspired setting.

eess.SY↗

arXiv2022

Neural-inspired Measurement Observability

The neural encoding by biological sensors of flying insects, which prefilters stimulus data before sending it to the central nervous system in the form of voltage spikes, enables sensing capabilities that are computationally low-cost while also being highly robust to noise. This process, which can be modeled as the composition of a linear moving average filter and a nonlinear decision function, inspired the work reported here to improve engineered sensing performance by maximizing the observability of particular neural-inspired composite measurement functions. We first present a tool to determine the observability of a linear system with measurement delay (the first element of the composition), then use a Lie algebraic observability approach to study nonlinear autonomous systems with output delay (the second element of the composition). The Lie algebraic tools are then extended to address overall observability of systems with composite outputs as in the neural encoder model we adopt. The analytical outcomes are supported using the empirical observability Gramian, and optimal sensor placement on a bioinspired wing model is performed using metrics based on the empirical Gramian.

eess.SY↗

arXiv2022

On the sensitivity of pose estimation neural networks: rotation parameterizations, Lipschitz constants, and provable bounds

In this paper, we approach the task of determining sensitivity bounds for pose estimation neural networks. This task is particularly challenging as it requires characterizing the sensitivity of 3D rotations. We develop a sensitivity measure that describes the maximum rotational change in a network's output with respect to a Euclidean change in its input. We show that this measure is a type of Lipschitz constant, and that it is bounded by the product of a network's Euclidean Lipschitz constant and an intrinsic property of a rotation parameterization which we call the "distance ratio constant". We derive the distance ratio constant for several rotation parameterizations, and then discuss why the structure of most of these parameterizations makes it difficult to construct a pose estimation network with provable sensitivity bounds. However, we show that sensitivity bounds can be computed for networks which parameterize rotation using unconstrained exponential coordinates. We then construct and train such a network and compute sensitivity bounds for it.

cs.CV↗

arXiv2021

Observability Conditions and Sensing Quality for Unicycle Systems with Constant External Forcing

In certain systems which are subject to significant constant external forcing such as an airplane in wind or an underwater glider in ocean currents, the ability to detect the forcing depends on both the measurements available and whether appropriate control is being applied. Using analytical nonlinear observability techniques, we define the necessary characteristics required of a measurement function for systems with unicycle dynamics subject to constant forcing to be observable. We further consider the necessary associated motion characteristics required of this class of systems to enable the desired sensing capabilities. We then apply these results in combination with the empirical Gramian to quantify relative observability, optimal sensor selection, and sensing quality for different motion primitive modes for a Dubins path.

eess.SY↗

arXiv2021

Analytical bounds on the local Lipschitz constants of ReLU networks

In this paper, we determine analytical upper bounds on the local Lipschitz constants of feedforward neural networks with ReLU activation functions. We do so by deriving Lipschitz constants and bounds for ReLU, affine-ReLU, and max pooling functions, and combining the results to determine a network-wide bound. Our method uses several insights to obtain tight bounds, such as keeping track of the zero elements of each layer, and analyzing the composition of affine and ReLU functions. Furthermore, we employ a careful computational approach which allows us to apply our method to large networks such as AlexNet and VGG-16. We present several examples using different networks, which show how our local Lipschitz bounds are tighter than the global Lipschitz bounds. We also show how our method can be applied to provide adversarial bounds for classification networks. These results show that our method produces the largest known bounds on minimum adversarial perturbations for large networks such as AlexNet and VGG-16.

cs.LG↗

arXiv2020

Analytical bounds on the local Lipschitz constants of affine-ReLU functions

In this paper, we determine analytical bounds on the local Lipschitz constants of of affine functions composed with rectified linear units (ReLUs). Affine-ReLU functions represent a widely used layer in deep neural networks, due to the fact that convolution, fully-connected, and normalization functions are all affine, and are often followed by a ReLU activation function. Using an analytical approach, we mathematically determine upper bounds on the local Lipschitz constant of an affine-ReLU function, show how these bounds can be combined to determine a bound on an entire network, and discuss how the bounds can be efficiently computed, even for larger layers and networks. We show several examples by applying our results to AlexNet, as well as several smaller networks based on the MNIST and CIFAR-10 datasets. The results show that our method produces tighter bounds than the standard conservative bound (i.e. the product of the spectral norms of the layers' linear matrices), especially for small perturbations.

cs.LG↗

arXiv2020

Empirical Observability Gramian for Stochastic Observability of Nonlinear Systems

We extend observability metrics based on the empirical observability Gramian from deterministic nonlinear systems to nonlinear stochastic systems in order to capture the impact of process noise on observability. We demonstrate that the empirical observability Gramian can be used to provide an equivalent condition for a definition of stochastic observability on linear systems, and that the Gramian can be used to extend stochastic observability to nonlinear stochastic systems. We further demonstrate through simulation that consideration of process noise can reveal observability in systems that would be considered unobservable using traditional deterministic tools.

eess.SY↗

arXiv2019

Augmented State Feedback for Improving Observability of Linear Systems with Nonlinear Measurements

This paper is concerned with the design of an augmented state feedback controller for finite-dimensional linear systems with nonlinear observation dynamics. Most of the theoretical results in the area of (optimal) feedback design are based on the assumption that the state is available for measurement. In this paper, we focus on finding a feedback control that avoids state trajectories with undesirable observability properties. In particular, we introduce an optimal control problem that specifically considers an index of observability in the control synthesis. The resulting cost functional is a combination of LQR-like quadratic terms and an index of observability. The main contribution of the paper is presenting a control synthesis procedure that on one hand, provides closed loop asymptotic stability, and addresses the observability of the system--as a transient performance criteria--on the other.

eess.SY↗

arXiv2017

Optimal Control with Limited Sensing via Empirical Gramians and Piecewise Linear Feedback

This paper is concerned with the design of optimal control for finite-dimensional control-affine nonlinear dynamical systems. We introduce an optimal control problem that specifically optimizes nonlinear observability in addition to ensuring stability of the closed loop system. A recursive algorithm is then proposed to obtain an optimal state feedback controller to maximize the resulting non-quadratic cost functional. The main contribution of the paper is presenting a control synthesis procedure that provides closed loop asymptotic stability, on one hand, and empirical observability of the system, as a transient performance criteria, on the other.

eess.SY↗

arXiv2016

Optimal Disease Outbreak Detection in a Community Using Network Observability

Given a network, we would like to determine which subset of nodes should be measured by limited sensing facilities to maximize information about the entire network. The optimal choice corresponds to the configuration that returns the highest value of a measure of observability of the system. Here, the determinant of the inverse of the observability Gramian is used to evaluate the degree of observability. Additionally, the effects of changes in the topology of the corresponding graph of a network on the observability of the network are investigated. The theory is illustrated on the problem of detection of an epidemic disease in a community. The purpose here is to find the smallest number of people who must be examined to predict the number of infected people in an arbitrary community. Results are demonstrated in simulation.

q-bio.QM↗