J. Diller

TL;DR: An attempt to clarify the relationship between Heyting’s well-known explanation of the intuitionistic logical operators on the one hand, and realizability interpretations on the other hand, in particular in connection with the theory of types as developed by P. Martin-Lof.

TL;DR: This paper introduces ICSwarm, a framework for integrating communication and control in UAV swarms, and implemented it on a physical UAV testbed and evaluated its effectiveness through a unique case study in partnership with NASA's JPL.

TL;DR: In this paper , a framework for integrating communication and control in UAV swarms is proposed, called ICCSwarm, which consists of two phases, a planning phase where combined communication and motion planning are validated in simulation, and a deployment phase, where a UAV architecture designed around integrated communications and control executes missions from the planning phase on physical UAVs.

TL;DR: In this article , the authors present an approach for route planning and deployment of a team of UAVs to collect data from wireless sensors while minimizing data collection latency, where a single UAV must visit a series of waypoints and then rendezvous with a moving ground vehicle.

TL;DR: The DroNS-3 autopilot library as mentioned in this paper integrates the Ardupilot drone simulator with the NS-3 network simulator and provides an easy platform for quickly designing autonomous missions both in simulation and on physical drone platforms.