9 citations · 9 across the 4 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…
Generate and Verify: Semantically Meaningful Formal Analysis of Neural Network Perception Systems
Chris R. Serrano, Pape M. Sylla, Michael A. Warren
Testing remains the primary method to evaluate the accuracy of neural network perception systems. Prior work on the formal verification of neural network perception models has been…
Introspection Learning
Chris R. Serrano, Michael A. Warren
Traditional reinforcement learning agents learn from experience, past or present, gained through interaction with their environment. Our approach synthesizes experience, without re…
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,…