9 citations · 15 across the 4 of their papers we have counts for
8 papers
Formal verification of octorotor flight envelope using barrier functions and SMT solving
Byron Heersink, Pape Sylla, Michael A. Warren
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…
Equidistribution of Farey sequences on horospheres in covers of SL(n+1,Z)\SL(n+1,R) and applications
Byron Heersink
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{S…
Dynamic mode decomposition for interconnected control systems
Byron Heersink, Michael A. Warren, Heiko Hoffmann
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,…
Distribution of the periodic points of the Farey map
Byron Heersink
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…
Continued fraction normality is not preserved along arithmetic progressions
Byron Heersink, Joseph Vandehey
It is well known that if is the base- expansion of a number normal to base-, then the numbers for , are all no…
An effective estimate for the Lebesgue measure of preimages of iterates of the Farey map
Byron Heersink
Using techniques from infinite ergodic theory, Kessebohmer and Stratmann determined the asymptotic behavior of the Lebesgue measure of sets of the form , where $[α,β]\…
Poincaré sections for the horocycle flow in covers of SL(2,R)/SL(2,Z) and applications to Farey fraction statistics
Byron Heersink
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 Athrey…
Gap distribution of Farey fractions under some divisibility constraints
Florin P. Boca, Byron Heersink, Paul Spiegelhalter
For a fixed positive integer d, we show the existence of the limiting gap distribution measure for the sets of Farey fractions a/q of order Q with a not divisible by d, and respect…