In this work, a contract-based reasoning approach is developed for obstacle avoidance in unmanned aerial vehicles (UAV's) under evolving subsystem performance. This approach is built on an assume-guarantee framework, where each subsystem (guidance, navigation, control and the environment) assumes a certain level of performance from other subsystems and in turn provides a guarantee of its own performance. The assume-guarantee construct then assures the performance of the overall system (in this case, safe obstacle avoidance). The implementation of the assume-guarantee framework is done through a set of contracts that are encoded into the guidance subsystem, in the form of a set of inequality constraints in the trajectory planner. The inequalities encode the relationships between subsystem performance and operational limits that ensure safe and robust operation as the performance of the control and navigation subsystems and environment evolve over time. The contract inequalities can be obtained analytically or numerically using an optimization based path planner and UAV simulation. The methodology is evaluated in the context of head-on obstacle avoidance, where the contracts are constructed in terms of (1) minimum obstacle detection range, (2) expected obstacle size, (3) maximum allowed cruise velocity, (4) maximum allowable thrust, roll and pitch angles, and (5) inner-loop tracking performance. Numerical and analytical generation of these contracts for this scenario is demonstrated. Finally, in-flight contract enforcement is illustrated for typical scenarios.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.