Specification and design of coordinated motions for autonomous vehicles
New concepts for operational missions to be performed by networked vehicles and systems are presented. It is shown that, at the heart of those concepts are simple coordination and control patterns that can be expressed in terms of sets and of the relations among the elements of those sets. A specification and design framework for the networked operation of multiple vehicles and systems is proposed, and related to developments in control, computation, and networking.