This paper discusses diagnosis problems in distributed systems within the context of a language- theoretic discrete event formalism. A distributed system is seen as a system with multiple spatially separated sites with each site having a diagnoser that observes some of the events generated by...

One of the key goals of a vehicular ad-hoc network (VANET) is providing sufficient quality of service (QoS) for real-time safety applications while concurrently supporting commercial services. This paper proposes a multi-channel wireless communication architecture and protocol for the scenario...

Though 2-approximation algorithms are available for several Multiple Depot Travelling Salesman Problems (TSPs)and Hamiltonian Path Problems (HPPs), there are no algorithms in the literature for any multiple depot variant of TSP or HPP that has an approximation ratio better than 2. This paper...

This paper extends the well known Held-Karp's lower bound available for a single Travelling Salesman Problem to the multiple depot case. The LP-relaxation of a symmetric multiple vehicle, multiple depot problem is shown to be lower bounded by an infinite family of bounds. Each lower bound can be...

This paper is about the modular compilation and distribution of a sub-class of Simulink programs [10] across networks using bounded FIFO queues. The problem is first addressed mathematically. Then, based on these formal results, a software library for the modular compilation and distribution of...

This paper studies the design of ad-hoc Medium Access Control (MAC) protocols for a vehicle or the roadside to send safety messages to other vehicles. Such a protocol is needed by Advanced Vehicle Safety Systems (AVSS) and the national Dedicated Short Range Communications (DSRC) architecture....

Middleware has emerged as an important architectural component in supporting distributed applications. The role of middleware is to present a unified programming model to application writers and to mask out problems of heterogeneity and distribution. Mobile sensors fall into the space of...

This report studies the effects of Advanced Traveler Information Systems (ATIS) on traffic congestion in the Smart Corridor of the Santa Monica Freeway. Simulation modeling is used to estimate the potential travel time savings to divert traffic from the Smart Corridor to arterial roads when...

Multi-vehicle systems are naturally encountered in civil and military applications. Cooperation amongst individual "miniaturized" vehicles allows for flexibility to accomplish missions that a single large vehicle may not readily be able to accomplish. While accomplishing a mission, motion...

In this article, we describe the development of atransit trip planner(TTP) for mobile devicescalled Transitr, and evaluate its performance. The system predicts the shortest paths betweenany two points in the transit network using real-time information provided by a third party busarrival...