A set-valued framework for coordinated motion control of networked vehicles

A problem of coordinated control for two networked vehicles is presented, formulated, and solvedto illustrate a set-valued framework for the coordinated control of networked vehicles. First, an informal userspecification for the coordinated operation of two vehicles is introduced. Second, a formal representation of theobjects and relations of interest is presented, and the user requirements are mapped onto a formal specification.Third, the specification is transformed onto a control problem formulation. Finally, the problem is solved usingtechniques from dynamic optimization and generalizations of the problem are discussed