Photo from wikipedia
This letter introduces a novel approach that combines the use of exponential barrier functions and satisfiability modulo theories solving to the formal safety analysis of flight controllers. Specifically, exponential barrier… Click to show full abstract
This letter introduces a novel approach that combines the use of exponential barrier functions and satisfiability modulo theories solving to the formal safety analysis of flight controllers. Specifically, exponential barrier functions are used to construct candidate invariant regions and proofs of invariance are constructed using satisfiability modulo theories solving. This approach is demonstrated by analyzing safety properties related to command tracking and operation in cases of rotor failures on an octorotor platform.
Journal Title: IEEE Control Systems Letters
Year Published: 2022
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!