Articles with "theories solving" as a keyword



Photo from wikipedia

Formal Verification of Octorotor Flight Envelope Using Barrier Functions and Satisfiability Modulo Theories Solving

Sign Up to like & get
recommendations!
Published in 2022 at "IEEE Control Systems Letters"

DOI: 10.1109/lcsys.2021.3119258

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… read more here.

Keywords: barrier functions; theories solving; modulo theories; satisfiability modulo ... See more keywords