Abstract: Methods, systems, and computer readable media for controlling a fleet of drones. A method includes receiving a mission specification for each drone of one or more drones, each mission specification including spatio-temporal requirements for the drone. The method includes generating, for each drone, a low-rate trajectory for the drone by performing a robustness maximization of satisfying the mission specification over a low-rate sequence of waypoints for the drone based on a mapping between low-rate trajectories and high-rate trajectories. The method includes transmitting, to each drone, the low-rate trajectory for the drone, causing a local controller of each drone to control the drone by generating a high-rate trajectory using the low-rate trajectory and the mapping between low-rate trajectories and high-rate trajectories.

Abstract: Methods, systems, and computer readable media for controlling a fleet of drones. A method includes receiving a mission specification for each drone of one or more drones, each mission specification including spatio-temporal requirements for the drone. The method includes generating, for each drone, a low-rate trajectory for the drone by performing a robustness maximization of satisfying the mission specification over a low-rate sequence of waypoints for the drone based on a mapping between low-rate trajectories and high-rate trajectories. The method includes transmitting, to each drone, the low-rate trajectory for the drone, causing a local controller of each drone to control the drone by generating a high-rate trajectory using the low-rate trajectory and the mapping between low-rate trajectories and high-rate trajectories.

Abstract: Embodiments of model-based system design with model verification are disclosed. An embodiment includes receiving a model for a system and at least one specification for the system. In some embodiments, the system determines at least one of a minimum expected robustness value and a maximum expected robustness value for a region of a search space of the model with respect to the at least one specification. The model may be modified based on the determined minimum or maximum expected robust ness value.