By Topic

Formalised hybrid control scheme for a UAV group using Dubins set and model checking

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

7 Author(s)
S. Jeyaraman ; Dept. of Aerosp., Power & Sensors, Cranfield Univ., Shrivenham, UK ; A. Tsourdos ; R. Zbikowski ; B. White
more authors

A novel hybrid control scheme is proposed for a decentralised, autonomous UAV group. The system incorporates a formalised representation of the model in its entirety using Kripke Models of possible worlds. Using this approach, the system can be represented in a formalised, yet intuitive manner (as a directed graph) and can be subsequently subjected to analytical proof-checking. The vehicle model implements the classical Dubins result on curves of minimal length with a constraint on average curvature in its path planning techniques in order to optimise travel time, as well as travel distance. The Dubins path is obtained by using prescribed initial and terminal orientations between two waypoints - joined by circular arcs with a connecting tangent. Unlike previous studies, the Dubins' model is applied on multiple vehicles, and their ability to co-ordinate feasible paths for the scenario is analysed. An algorithmic implementation of the aforementioned hybrid model is presented. Lastly, the control strategies presented are proof-checked using model checking techniques.

Published in:

Decision and Control, 2004. CDC. 43rd IEEE Conference on  (Volume:4 )

Date of Conference:

14-17 Dec. 2004