9 citations · 11 across the 3 of their papers we have counts for
4 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,…
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…