Learn More
Abstruct-Fault detection and isolation is a crucial and challenging task in the automatic control of large complex systems. We propose a discrete-event system (DES) approach to the problem of failure diagnosis. We introduce two related notions of diagnosability of DES's in the framework of formal languages and compare diagnosability with the related notions(More)
This paper studies the design of layer-2 protocols for a vehicle to send safety messages to other vehicles. The target is to send vehicle safety messages with high reliability and low delay. The communication is one-to-many, local, and geo-significant. The vehicular communication network is ad-hoc, highly mobile, and with large numbers of contending nodes.(More)
In this paper, we present an algorithm for routing in wireless ad hoc networks using information about geographical location of the nodes. We assume each node knows its geographical position and the position of the node to which it wants to send a packet. Initially, the nodes only know their neighbors but over time they discover other nodes in the network.(More)
In this paper we study the effect of a network in the feedback loop of a control system. We consider a simple packet-loss model for the network and note that results for discrete-time linear systems with Markovian jumping parameters can be applied. We measure performance using an H ∞ norm and compute this norm via a necessary and sufficient matrix(More)
In this paper, we propose a medium access control (MAC) protocol to support the multi-channel operation for dedicated short range communication (DSRC). In particular, we focus on the challenge of providing potentially high-bandwidth for non-safety applications provided by roadside infrastructure, without compromising safety communication occurring in a(More)
In certain discrete event applications it may be desirable to find a particular controller , within the set of acceptable controllers, which optimizes some quantitative performance measure. In this paper we propose a theory of optimal control to meet such design requirements for deterministic systems. The discrete event system (DES) is modeled by a formal(More)
WTRP (Wireless Token Ring Protocol) is a medium access control (MAC) protocol for wireless networks. The MAC protocol through which mobile stations can share a common broadcast channel is essential in wireless networks. In a IEEE 802.11 network, the contention among stations is not homogeneous due to the existence of hidden terminals, partially connected(More)
Vehicular ad hoc networks play a critical role in enabling important active safety applications such as cooperative collision warning. These active safety applications rely on continuous broadcast of self-information by all vehicles, which allows each vehicle to track all its neighboring cars in real time. The most pressing challenge in such safety-driven(More)