Modelling and Verification of Advanced Vehicle Control Systems Using Timing-Based Computing Techniques. Sponsored by the US Department of Transportation. Network Flow Algorithms. We will investigate faster algorithms for fundamental problems in network optimization such as the minimum cost flow problem. Sponsored by the Office of Naval Research.
Engineering design involves interactions of multiple technologies.
This project is a test of potential communication and coordination methods for computer-aided collaborative design, part of the Agent Collaboration Language project joint with CERL and three other universities. The project, based on the Federation Architecture developed under ARPA's Knowledge Sharing Initiative, is aimed to develop language standards for collaboration between heterogeneous groups of software applications. Participants are developing test-bed applications in individual disciplines. These are then applied to design projects using Facilitators to assist in the design of building elements by linking disciplinary work over the Internet. Sponsored by the US Army Construction Engineering Research Laboratory.