Searcharxiv⌕ Search

arXiv subjects

Byron Heersink

Publications and source records attributed to Byron Heersink.

8 recordsLinked to original sources
arXiv2021

Formal verification of octorotor flight envelope using barrier functions and SMT solving

This paper introduces an approach for formally verifying the safety of the flight controller of an octorotor platform. Our method involves finding regions of the octorotor's state space that are considered safe, and which can be proven to be invariant with respect to the dynamics. Specifically, exponential barrier functions are used to construct candidate invariant regions near desired commanded states. The proof that these regions are invariant is discovered automatically using the dReal SMT solver, which ensures the accurate command tracking of the octorotor to within a certain margin of error. Rotor failures in which rotor thrusts become stuck at fixed values are considered and accounted for via a pseudo-inverse control allocator. The safety of the control allocator is verified in dReal by checking that the thrusts demanded by the allocator never exceed the capability of the rotors. We apply our approach on a specific octorotor example and verify the desired command tracking properties of the controller under normal conditions and various combinations of rotor failures.

cs.LO↗
arXiv2018

Distribution of the periodic points of the Farey map

We expand the cross section of the geodesic flow in the tangent bundle of the modular surface given by Series to produce another section whose return map under the geodesic flow is a double cover of the natural extension of the Farey map. We use this cross section to extend the correspondence between the closed geodesics on the modular surface and the periodic points of the Gauss map to include the periodic points of the Farey map. Then, analogous to the work of Pollicott, we prove an equidistribution result for the periodic points of the Farey map when they are ordered according to the length of their corresponding closed geodesics.

math.DS↗
arXiv2017

Equidistribution of Farey sequences on horospheres in covers of SL(n+1,Z)\SL(n+1,R) and applications

We establish the limiting distribution of certain subsets of Farey sequences, i.e., sequences of primitive rational points, on expanding horospheres in covers $Δ\backslash\mathrm{SL}(n+1,\mathbb{R})$ of $\mathrm{SL}(n+1,\mathbb{Z})\backslash\mathrm{SL}(n+1,\mathbb{R})$, where $Δ$ is a finite index subgroup of $\mathrm{SL}(n+1,\mathbb{Z})$. These subsets can be obtained by projecting to the hyperplane $\{(x_1,\ldots,x_{n+1})\in\mathbb{R}^{n+1}:x_{n+1}=1\}$ sets of the form $\mathbf{A}=\bigcup_{j=1}^J\boldsymbol{a}_jΔ$, where for all $j$, $\boldsymbol{a}_j$ is a primitive lattice point in $\mathbb{Z}^{n+1}$. Our method involves applying the equidistribution of expanding horospheres in quotients of $\mathrm{SL}(n+1,\mathbb{R})$ developed by Marklof and Strömbergsson, and more precisely understanding how the full Farey sequence distributes in $Δ\backslash\mathrm{SL}(n+1,\mathbb{R})$ when embedded on expanding horospheres as done in previous work by Marklof. For each of the Farey sequence subsets, we extend the statistical results by Marklof regarding the full multidimensional Farey sequences, and solutions by Athreya and Ghosh to Diophantine approximation problems of Erdős-Szüsz-Turán and Kesten. We also prove that Marklof's result on the asymptotic distribution of Frobenius numbers holds for sets of primitive lattice points of the form $\mathbf{A}$.

math.DS↗
arXiv2017

Dynamic mode decomposition for interconnected control systems

Dynamic mode decomposition (DMD) is a data-driven technique used for capturing the dynamics of complex systems. DMD has been connected to spectral analysis of the Koopman operator, and essentially extracts spatial-temporal modes of the dynamics from an estimate of the Koopman operator obtained from data. Recent work of Proctor, Brunton, and Kutz has extended DMD and Koopman theory to accommodate systems with control inputs: dynamic mode decomposition with control (DMDc) and Koopman with inputs and control (KIC). In this paper, we introduce a technique, called Network dynamic mode decomposition with control, or Network DMDc, which extends the DMDc to interconnected, or networked, control systems. Additionally, we provide an adaptation of Koopman theory for networks as a context in which to perform this algorithm. The Network DMDc method carefully analyzes the dynamical relationships only between components in systems which are connected in the network structure. By focusing on these direct dynamical connections and cutting out computation for relationships between unconnected components, this process allows for improvements in computational intensity and accuracy.

math.OC↗
arXiv2016

An effective estimate for the Lebesgue measure of preimages of iterates of the Farey map

Using techniques from infinite ergodic theory, Kessebohmer and Stratmann determined the asymptotic behavior of the Lebesgue measure of sets of the form $F^{-n}[α,β]$, where $[α,β]\subseteq(0,1]$ and $F$ is the Farey map. In this paper, we provide an effective version of this result, employing mostly basic properties of the transfer operator of the Farey map and an application of Freud's effective version of Karamata's Tauberian theorem.

math.DS↗
arXiv2015

Poincaré sections for the horocycle flow in covers of SL(2,R)/SL(2,Z) and applications to Farey fraction statistics

For a given finite index subgroup H of SL(2,Z), we use a process developed by Fisher and Schmidt to lift a Poincaré section of the horocycle flow on SL(2,R)/SL(2,Z) found by Athreya and Cheung to the finite cover SL(2,R)/H of SL(2,R)/SL(2,Z). We then use the properties of this section to prove the existence of the limiting gap distribution of various subsets of Farey fractions. Additionally, to each of these subsets of fractions, we extend solutions by Xiong and Zaharescu, and independently Boca, to a Diophantine approximation problem of Erdős, Szüsz, and Turán.

math.DS↗
arXiv2015

Continued fraction normality is not preserved along arithmetic progressions

It is well known that if $0.a_1a_2a_3\dots$ is the base-$b$ expansion of a number normal to base-$b$, then the numbers $0.a_ka_{m+k}a_{2m+k}\dots$ for $m\ge 2$, $k\ge 1$ are all normal to base-$b$ as well. In contrast, given a continued fraction expansion $\langle a_1,a_2,a_3,\dots\rangle$ that is normal (now with respect to the continued fraction expansion), we show that for any integers $m\ge 2$, $k\ge 1$, the continued fraction $\langle a_k, a_{m+k},a_{2m+k},a_{3m+k},\dots\rangle$ will never be normal.

math.NT↗