A framework for the representation, formal specification,and control synthesis for networked vehicle systemsis presented. From dynamic optimization, this framework hasinherited the concepts and theories of optimality, reach setcomputation and control, and the motivation to improve theperformance of increasingly complex physical processes. Fromset theory, this framework borrowed the representational powerof the language of sets to capture the relations among vehiclesand controllers in a way that is consistent with control design.The ANTEX-M project is described to illustrate the challengesposed by networked vehicle systems and to illustrate how theframework addresses these challenges
