arXiv subjects

William Clark

Publications and source records attributed to William Clark.

At least 19 recordsLinked to original sources

arXiv2026

A Dynamical Systems view of Feedback Synthesis

Control theory and dynamical systems are closely intertwined fields. Pontryagin's maximum principal offers a strong connection by providing a constructive way to synthesize feedback control laws via lifting the control system to a (Hamiltonian) dynamical system. Feedback laws can then be encoded as invariant manifolds of this induced dynamical system - under the condition that these manifolds project diffeomorphically back to the base control system. While feedback stabilization is impossible for many control systems, the above procedure can still be carried out. In this setting, the invariant manifold no longer projects diffeomorphically which results in the emergence of caustics. This paper offers an overview of the above connection by translating target sets from controls to isotropic submanifolds in symplectic geometry and associates feedback controllability to singularities of the induced invariant manifolds. Multiple low-dimensional examples are included to elucidate the theory.

math.DS↗

arXiv2026

Delay effects on the discontinuous stabilization of the nonholonomic integrator and its generalizations

The nonholonomic integrator is a famous example in feedback design - although it is small-time locally controllable to the origin, no continuous feedback law exists. Therefore, any stabilizing feedback laws must be either time-varying or discontinuous. A previously studied discontinuous feedback law stabilizes initial conditions lying between two paraboloids and has a sliding mode on the $xy$-plane. We investigate the effect of introducing delays into this discontinuous feedback law. To a first-order analysis, the lag causes the sliding mode of the $xy$-plane to bifurcate into two switching regions where the resulting dynamics can be interpreted as a hybrid dynamical system with hysteresis. Counterintuitively, the presence of a delay can actually have a positive effect on both the size of the basin of attraction and the convergence rate of the controller. We also consider the natural generalization of the nonholonomic integrator to higher dimensions.

math.DS↗

arXiv2026

Dissipation-assisted stabilization of periodic orbits via actuated exterior impacts in hybrid mechanical systems with symmetry

Impulsive mechanical systems exhibit discontinuous jumps in their state, and when such jumps are triggered by spatial events, the geometry of the impact surface carries information about the controllability of the hybrid dynamics. For mechanical systems defined on principal $G$-bundles, two qualitatively distinct types of impacts arise: interior impacts, associated with events on the shape space, and exterior impacts, associated with events on the fibers. A key distinction is that interior impacts preserve the mechanical connection, whereas exterior impacts generally do not. In this paper, we exploit this distinction by allowing actuation through exterior impacts. We study the pendulum-on-a-cart system, derive controlled reset laws induced by moving-wall impacts, and analyze the resulting periodic motions. Our results show that reset action alone does not provide a convincing stabilizing regime, whereas the addition of dissipation in the continuous flow yields exponentially stable periodic behavior for suitable feedback gains.

eess.SY↗

arXiv2025

On the Evidence for Violation of the Equivalence Principle in Disk Galaxies

We examine the claimed observations of a gravitational external field effect (EFE) reported in Chae et al. We show that observations suggestive of the EFE can be interpreted without violating Einstein's equivalence principle, namely from known correlations between morphology, environment and dynamics of galaxies. While Chae et al's analysis provides a valuable attempt at a clear test of Modified Newtonian Dynamics, an evidently important topic, a re-analysis of the observational data does not permit us to confidently assess the presence of an EFE or to distinguish this interpretation from that proposed in this article.

gr-qc↗

arXiv2025

Chromatic numbers with open and nonzero local modular constraints

In this paper, we explore chromatic numbers subject to various local modular constraints. For fixed $n$, we consider proper integer colorings of a graph $G$ for which the closed and open neighborhood sums have nonzero remainders modulo $n$ and provide bounds for the associated chromatic numbers $\chi_n(G)$ and $\chi_{(n)}(G)$, respectively. In addition, we provide bounds for $\chi_{(n,k)}(G)$, the minimal order of a proper integer coloring of $G$ with open neighborhood sums congruent to $k\mod n$ (when such a coloring exists) as well as precise values for certain families of graphs.

math.CO↗

arXiv2025

Symplectic Geometry in Hybrid and Impulsive Optimal Control

Hybrid dynamical systems are systems which undergo both continuous and discrete transitions. The Bolza problem from optimal control theory was applied to these systems and a hybrid version of Pontryagin's maximum principle was presented. This hybrid maximum principle was presented to emphasize its geometric nature which made its study amenable to the tools of geometric mechanics and symplectic geometry. One explicit benefit of this geometric approach was that the symplectic structure (and hence the induced volume) was preserved. This allowed for a hybrid analog of caustics and conjugate points. Additionally, an introductory analysis of singular solutions (beating and Zeno) was discussed geometrically. This work concluded on a biological example where beating can occur.

math.OC↗

arXiv2025

Chromatic numbers with closed local modular constraints

Generalizing the notion of odd-sum colorings, a $\mathbb{Z}$-labeling of a graph $G$ is called a closed coloring with remainder $k\mod n$ if the closed neighborhood label sum of each vertex is congruent to $k\mod n$. If such colorings exist, we write $\chi_{n,k}(G)$ for the minimum number of colors used for a closed coloring with remainder $k\mod n$ such that no neighboring vertices have the same color. General estimates for $\chi_{n,k}(G)$ are given along with evaluations of $\chi_{n,k}(G)$ for some finite and infinite order graphs.

math.CO↗

arXiv2024

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↗

arXiv2024

A Generalized Metriplectic System via Free Energy and System~Identification via Bilevel Convex Optimization

This work generalizes the classical metriplectic formalism to model Hamiltonian systems with nonconservative dissipation. Classical metriplectic representations allow for the description of energy conservation and production of entropy via a suitable selection of an entropy function and a bilinear symmetric metric. By relaxing the Casimir invariance requirement of the entropy function, this paper shows that the generalized formalism induces the free energy analogous to thermodynamics. The monotonic change of free energy can serve as a more precise criterion than mechanical energy or entropy alone. This paper provides examples of the generalized metriplectic system in a 2-dimensional Hamiltonian system and $\mathrm{SO}(3)$. This paper also provides a bilevel convex optimization approach for the identification of the metriplectic system given measurements of the system.

eess.SY↗

arXiv2024

Fully Relativistic Derivation of the Thermal Sunyaev-Zel'dovich Effect

We present the first fully and inherently relativistic derivation of the thermal Sunyaev-Zel'dovich effect. This work uses the formalism historically used to compute radiation spectra emerging from inverse Thomson/Compton sources of x-ray radiation. Comparing our results to the traditional approach based on relativistically-corrected classical Kompaneets equation, we find small, but systematic differences. Most notable are the modest (< 10 %) differences in the crossover frequency where the spectral distortion due to the Sunyaev-Zel'dovich effect vanishes, and the energy increase of the distribution at high electron cloud temperatures.

astro-ph.HE↗

arXiv2024

Deep Learning for Low-Latency, Quantum-Ready RF Sensing

Recent work has shown the promise of applying deep learning to enhance software processing of radio frequency (RF) signals. In parallel, hardware developments with quantum RF sensors based on Rydberg atoms are breaking longstanding barriers in frequency range, resolution, and sensitivity. In this paper, we describe our implementations of quantum-ready machine learning approaches for RF signal classification. Our primary objective is latency: while deep learning offers a more powerful computational paradigm, it also traditionally incurs latency overheads that hinder wider scale deployment. Our work spans three axes. (1) A novel continuous wavelet transform (CWT) based recurrent neural network (RNN) architecture that enables flexible online classification of RF signals on-the-fly with reduced sampling time. (2) Low-latency inference techniques for both GPU and CPU that span over 100x reductions in inference time, enabling real-time operation with sub-millisecond inference. (3) Quantum-readiness validated through application of our models to physics-based simulation of Rydberg atom QRF sensors. Altogether, our work bridges towards next-generation RF sensors that use quantum technology to surpass previous physical limits, paired with latency-optimized AI/ML software that is suitable for real-time deployment.

quant-ph↗

arXiv2024

Optimal Control of Reduced Left-Invariant Hybrid Control Systems

Optimal control is ubiquitous in many fields of engineering. A common technique to find candidate solutions is via Pontryagin's maximum principle. An unfortunate aspect of this method is that the dimension of system doubles. When the system evolves on a Lie group and the system is invariant under left (or right) translations, Lie-Poisson reduction can be applied to eliminate half of the dimensions (and returning the dimension of the problem to the back to the original number). Hybrid control systems are an extension of (continuous) control systems by allowing for sudden changes to the state. Examples of such systems include the bouncing ball - the velocity instantaneously jumps during a bounce, the thermostat - controls switch to on or off, and a sailboat undergoing tacking. The goal of this work is to extend the idea of Lie-Poisson reduction to the optimal control of these systems. If $n$ is the dimension of the original system, $2n$ is the dimension of the system produced by the maximum principle. In the case of classical Lie-Poisson reduction, the dimension drops back down to $n$. This, unfortunately, is impossible in hybrid systems as there must be an auxiliary variable encoding whether or not an event occurs. As such, the analogous hybrid Lie-Poisson reduction results in a $n+1$ dimensional system. The purpose of this work is to develop and present this technique.

math.OC↗

arXiv2024

The Interplay Between Symmetries and Impact Effects on Hybrid Mechanical Systems

Hybrid systems are dynamical systems with continuous-time and discrete-time components in their dynamics. When hybrid systems are defined on a principal bundle we are able to define two classes of impacts for the discrete-time transition of the dynamics: interior impacts and exterior impacts. In this paper we define hybrid systems on principal bundles, study the underlying geometry on the switching surface where impacts occur and we find conditions for which both exterior and interior impacts are preserved by the mechanical connection induced in the principal bundle.

cs.RO↗

arXiv2024

Optimal Control of Hybrid Systems with Submersive Resets

Hybrid dynamical systems are systems which posses both continuous and discrete transitions. Assuming that the discrete transitions (resets) occur a finite number of times, the optimal control problem can be solved by gluing together the optimal arcs from the underlying continuous problem via the "Hamilton jump conditions." In most cases, it is assumed that the reset is a diffeomorphism (onto its image) and the corresponding Hamilton jump condition admits a unique solution. However, in many applications, the reset results in a drop in dimension and the corresponding Hamilton jump condition admits zero/infinitely many solutions. A geometric interpretation of this issue is explored in the case where the reset is a submersion (onto its image). Necessary conditions are presented for this case along with an accompanying numerical example.

math.OC↗

arXiv2023

Learning the Delay Using Neural Delay Differential Equations

The intersection of machine learning and dynamical systems has generated considerable interest recently. Neural Ordinary Differential Equations (NODEs) represent a rich overlap between these fields. In this paper, we develop a continuous time neural network approach based on Delay Differential Equations (DDEs). Our model uses the adjoint sensitivity method to learn the model parameters and delay directly from data. Our approach is inspired by that of NODEs and extends earlier neural DDE models, which have assumed that the value of the delay is known a priori. We perform a sensitivity analysis on our proposed approach and demonstrate its ability to learn DDE parameters from benchmark systems. We conclude our discussion with potential future directions and applications.

math.OC↗

arXiv2022

Optimality of Zeno Executions in Hybrid Systems

A unique feature of hybrid dynamical systems (systems whose evolution is subject to both continuous- and discrete-time laws) is Zeno trajectories. Usually these trajectories are avoided as they can cause incorrect numerical results as the problem becomes ill-conditioned. However, these are difficult to justifiably avoid as determining when and where they occur is a non-trivial task. It turns out that in optimal control problems, not only can they not be avoided, but are sometimes required in synthesizing the solutions. This work explores the pedagogical example of the bouncing ball to demonstrate the importance of "Zeno control executions."

math.OC↗

arXiv2022

Optimal Control of Nonholonomic Systems via Magnetic Fields

Geometric optimal control utilizes tools from differential geometry to analyze the structure of a problem to determine the control and state trajectories to reach a desired outcome while minimizing some cost function. For a controlled mechanical system, the control usually manifests as an external force which, if conservative, can be added to the Hamiltonian. In this work, we focus on mechanical systems with controls added to the symplectic form rather than the Hamiltonian. In practice, this translates to controlling the magnetic field for an electrically charged system. We develop a basic theory deriving necessary conditions for optimality of such a system subjected to nonholonomic constraints. We consider the representative example of a magnetically charged Chaplygin Sleigh, whose resulting optimal control problem is completely integrable.

math.OC↗

arXiv2022

Lie Algebraic Cost Function Design for Control on Lie Groups

This paper presents a control framework on Lie groups by designing the control objective in its Lie algebra. Control on Lie groups is challenging due to its nonlinear nature and difficulties in system parameterization. Existing methods to design the control objective on a Lie group and then derive the gradient for controller design are non-trivial and can result in slow convergence in tracking control. We show that with a proper left-invariant metric, setting the gradient of the cost function as the tracking error in the Lie algebra leads to a quadratic Lyapunov function that enables globally exponential convergence. In the PD control case, we show that our controller can maintain an exponential convergence rate even when the initial error is approaching $\pi$ in SO(3). We also show the merit of this proposed framework in trajectory optimization. The proposed cost function enables the iterative Linear Quadratic Regulator (iLQR) to converge much faster than the Differential Dynamic Programming (DDP) with a well-adopted cost function when the initial trajectory is poorly initialized on SO(3).

math.OC↗