Raja Sengupta

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)
AbstructDetection and isolation of failures in large, complex systems is a crucial and challenging task. The increasingly stringent requirements on performance and reliability of complex technological systems have necessitated the development of sophisticated and systematic methods for the timely and accurate diagnosis of system failures. We propose a(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 inequality(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)
Abstract. Most of the results to date in discrete event supervisory control assume a "zero-or-infinity" structure for the cost of controlling a discrete event system, in the sense that it costs nothing to disable controllable events while uncontrollable events cannot be disabled (i.e., their disablement entails infinite cost). In several applications(More)