DESIGNING THE CONTROL OF A UAV FLEET WITH MODEL CHECKING

DOI10.1142/9789812796592_0002zbMATH Open1137.93303OpenAlexW2488262033MaRDI QIDQ3416276

Bruce W. Weide, Christopher A. Bohn, Paolo A. G. Sivilotti

Publication date: 19 January 2007

Published in: Theory and Algorithms for Cooperative Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789812796592_0002

Mathematics Subject Classification ID

Applications of game theory (91A80) Automated systems (robots, etc.) in control theory (93C85) Decentralized systems (93A14)

Related Items (3)

Controlling a Fleet of Unmanned Aerial Vehicles to Collect Uncertain Information in a Threat Environment ⋮ Autonomous Control of Unmanned Combat Air Vehicles: Design of a Multimodal Control and Flight Planning Framework for Agile Maneuvering ⋮ A survey of free software for the design, analysis, modelling, and simulation of an unmanned aerial vehicle

This page was built for publication: DESIGNING THE CONTROL OF A UAV FLEET WITH MODEL CHECKING

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3416276)