Institute for Systems Research Technical Reports

Permanent URI for this collectionhttp://hdl.handle.net/1903/4376

This archive contains a collection of reports generated by the faculty and students of the Institute for Systems Research (ISR), a permanent, interdisciplinary research unit in the A. James Clark School of Engineering at the University of Maryland. ISR-based projects are conducted through partnerships with industry and government, bringing together faculty and students from multiple academic departments and colleges across the university.

Browse

Search Results

Now showing 1 - 10 of 48
  • Thumbnail Image
    Item
    Next Generation Satellite Systems for Aeronautical Communications
    (2000) Ercetin, Ozgur; Ball, Michael O.; Tassiulas, Leandros; Tassiulas, Leandros; ISR; NEXTOR
    The US airspace is reaching its capacity with the current Air Traffic Control system and a number of flights that is constantly rising, and estimated to be over 54 million per year by 2002. The FAA has undertaken several projects to modernize the National Airspace System (NAS) to ensure the safety of the increasing number of flights. Of special importance is the modernization of the Air-Ground (A/G) Communications infrastructure, which is the heart of the air traffic control (ATC).

    The current plan in the modernization of the A/G communications is to migrate from analog voice only system to integrated digital voice and data system. The next generation satellite systems can be an alternative to the terrestrial A/G systems by their low propagation and transmission delays, global coverage, high capacity, and free flight suitable characteristics. In this paper, we give an overview of the current and the future ATC architectures, describe the systems and the communications issues in these systems, and develop a framework in which LEO/MEO next generation satellite systems can be integrated to the future ATC systems.

  • Thumbnail Image
    Item
    A Low-Overhead Rate Control Algorithm for Maximizing Aggregate Receiver Utility for Multirate Multicast Sessions
    (2000) Kar, Koushik; Sarkar, Saswati; Tassiulas, Leandros; Tassiulas, Leandros; ISR; CSHCN
    In multirate multicasting, different users (receivers) within the same multicastgroup could receive service at different rates, depending on user requirementsand network congestion level. Compared to unirate multicasting, this provides moreflexibility to the user, and allows more efficient usage of network resources.

    In this paper, we address the rate control problem for multirate multicast sessions,with the objective of maximizing the total receiver utility.This aggregate utility maximization problem not only takes into account the heterogeneityin user requirements, but also provides a unified framework for diverse fairness objectives.

    We propose an algorithm for this problem and show, through analysis andsimulation, that it converges to the optimal rates.

    In spite of the non-separability of the problem,the solution that we develop is completely decentralized, scalableand does not require the network to know the receiver utilities.Moreover, the algorithm requires very simple computations both forthe user and the network, and also has very low overhead of network congestionfeedback.

  • Thumbnail Image
    Item
    Intelligent Distributed Fault Management for Communication Networks
    (2000) Li, Hongjun; Baras, John S.; ISR; CSHCN
    In this paper, we present an intelligent, distributed fault management system for communication networks using belief networks as fault model and inference engine. The managed network is divided into domains and for each domain, there is an intelligent agent called Domain Diagnostic Agent attached to it, which is responsible for this domain's fault management. Belief network models are embedded in such an agent and under symptoms observation, the posterior probabilities of each candidate fault node being faulty is computed. We define the notion of right diagnosis, describe the diagnosis process based on this concept, and present a strategy for generation of test sequence.
  • Thumbnail Image
    Item
    A Primal Algorithm for Optimization Based Rate Control for Unicast Sessions
    (2000) Kar, Koushik; Sarkar, Saswati; Tassiulas, Leandros; Tassiulas, Leandros; ISR; CSHCN
    In this paper, we consider the rate control problem with the objective ofmaximizing the total user utility. It takes into account the possible differences in user requirements, and also provides a framework for achieving a wide range of fairness objectives.

    We propose a simple algorithm for achieving the optimal rates for this problem. The algorithm can be implemented in a distributed way and does not require the network to know the user utility functions.

    In our algorithm, the network communicates to the user the number of congested links on the user's path, and the user (end-host) adjusts its rate accordingly, taking into account its utility function and the network congestion feedback.

    We show through analysis and experimentation that our algorithm converges to the optimum rates.

  • Thumbnail Image
    Item
    Optimization Based Rate Control for Multirate Multicast Sessions
    (2000) Kar, Koushik; Sarkar, Saswati; Tassiulas, Leandros; Tassiulas, Leandros; ISR; CSHCN
    Multirate multicasting, where the receivers of a multicast group can receive service at different rates, is an efficient mode of data delivery for many real-time applications.

    In this paper, we address the problem of achieving rates that maximize the total receiver utility for multirate multicast sessions. This problem not only takes into account the heterogeneity in user requirements, but also provides a unified framework for diverse fairness objectives. We propose two algorithms and prove that they converge to the optimal rates for this problem.

    The algorithms are distributed and scalable, and do not require the network to know the receiver utilities. We discuss how these algorithms can be implemented in a real network, and also demonstrate their convergence through simulation experiments.

  • Thumbnail Image
    Item
    An Approach to Fixed/Mobile Converged Routing
    (2000) Corson, M. Scott; O'Neill, Alan; ISR; CSHCN
    We consider a family of routing protocols for networks in which the core topology is essentially fixed by where the end systems may be mobile. We refer to this form of routing as Fixed/Mobile Converged (FMC) routing.

    This is a mixture of the traditional prefix-routed scenario fo the fixed Internet, and the classical edge mobility scenario that is today supported by cellularnetworks, primarily as part of the cellular technology elements (GSM, GPRS, etc.).

    We outline a general architecture for the support of such edge mobility, and present an approach to FMC routing that fits within this architecture. We then present initial simulation resultsillustrating the potential scalability and routing efficiency of this approach.

  • Thumbnail Image
    Item
    Push-Based Information Delivery in Two Stage Satellite-Terrestrial Systems
    (2000) Ercetin, Ozgur; Tassiulas, Leandros; ISR; CSHCN
    Satellite broadcast data delivery has inherent advantages in providing global access to information to everyone. However, users of satellite communications need expensive and cumbersome equipment to receive and transmit satellite signals. Furthermore, as the amount of information being broadcast increases, average user latency increases as well. In many situations, users in a locality may have similar interests and hence they can be better served by a local broadcast schedule. A two stage satellite-terrestrial wireless broadcast system can provide more efficient service. In such a system, main server broadcasts information via satellite to the geographically distributed local ground stations. Every station has limited buffer capacity to store the items broadcast by the satellite. According to their cache content, and the interests of their users, local stations deliver the information to their users via terrestrial wireless channel. We develop novel methods for the joint cache management and scheduling problem encountered in these systems. Our results demonstrate that two stage systems can provide more efficient data delivery compared to the single stage systems.
  • Thumbnail Image
    Item
    Stochastic Approximation and Optimization for Markov Chains
    (2000) Bartusek, John D.; Makowski, Armand M.; ISR
    We study the convergence properties of the projected stochasticapproximation (SA) algorithm which may be used to find the root of an unknown steady state function of a parameterized family of Markov chains. The analysis is based on the ODE Method and we develop a set of application-oriented conditions which imply almost sure convergence and are verifiable in terms of typically available model data. Specific results are obtained for geometrically ergodic Markov chains satisfying a uniform Foster-Lyapunov drift inequality.

    Stochastic optimization is a direct application of the above root finding problem if the SA is driven by a gradient estimate of steady state performance. We study the convergence properties of an SA driven by agradient estimator which observes an increasing number of samples from the Markov chain at each step of the SA's recursion. To show almost sure convergence to the optimizer, a framework of verifiable conditions is introduced which builds on the general SA conditions proposed for the root finding problem.

    We also consider a difficulty sometimes encountered in applicationswhen selecting the set used in the projection operator of the SA algorithm.Suppose there exists a well-behaved positive recurrent region of the state process parameter space where the convergence conditions are satisfied; this being the ideal set to project on. Unfortunately, the boundaries of this projection set are not known a priori when implementing the SA. Therefore, we consider the convergence properties when the projection set is chosen to include regions outside the well-behaved region. Specifically, we consider an SA applied to an M/M/1 which adjusts the service rate parameter when the projection set includes parameters that cause the queue to be transient.

    Finally, we consider an alternative SA where the recursion is driven by a sample average of observations. We develop conditions implying convergence for this algorithm which are based on a uniform large deviation upper bound and we present specialized conditions implyingthis property for finite state Markov chains.

  • Thumbnail Image
    Item
    Key Management for Secure Multicast Communications
    (1999) Poovendran, R.; Baras, J.S.; ISR; CSHCN
    This dissertation considers the single sender, multiple receiver model of secure multicast communication. The goal is to develop schemes that have reduced computational overhead at the time of key generation, minimize the amount of message units required at the time of key updates, andminimize the number of keys to be stored by the sender as well as receivers.In order to achieve this goal, a key generation and distribution architecture based on rooted trees and control panels is proposed. A control panel is assumed to consist of mutually suspicious members who jointly generate the keys that are distributed to the rest of the members. Based on the assumption about the control panel, we provide a distributed key generation mechanism which allows a set of mutually suspicious members to contribute to the generation of a joint secret without revealing their individual contributions. The key distribution scheme presented considers the member revocation event and relates it to the key assignment of individual users. We define and show that the entropy of the member revocation event plays an important role in determining the number of keys assigned to a member. We claim that the number of keys allocated to a member based on the elementary concepts from information theory will also correspond to the minimum number of keys that need to be assigned to a member unless additional functional relationship among keys exists, since it "completely captures" the uncertainty of the member revocation event. We also identify some weaknesses in the recent schemes, and solvean open problem posed at Eurocrypt'99.
  • Thumbnail Image
    Item
    Handover and Channel Allocation Mechanisms in Mobile Satellite Networks
    (1999) Koutsopoulos, Iordanis; Tassiulas, Leandros; ISR; CSHCN
    In this work we study first handover prediction in non-geostationary mobile satellite networks. The ultimate choice of the transition path depends on UT position and signal strength. We investigate the procedure of beam monitoring and propose UT maximum residence as the criterion for path selection.

    The UT must operate both in full- and half-duplex mode, the latter being desirable when power limitations are imposed. We propose a scheme that achieves this goal and guarantees efficient diversity provision. Constant delay contours on the earth's surface are defined. The problem of reliable time delay acquisition is addressed, in case synchronization is lost. The SBS solves that either by using the known estimate of UT position or by requesting a measurement report by the UT.

    The problem of channel allocation appears in cellular networks of every kind. Calls arising in the cell overlap area have access to channels of more than one base station and may choose which base station they will use to establish connection. In that case the problems of base station and channel assignment arise jointly.

    We address the problem in a linear cellular network and aim at the minimumnumber of utilized channels. We present two algorithms: The first one expands Load Balancing in clique populations and is Sequential Clique Load Balancing (SCLB). The second one is named Clique Load Balancing with Inverse Water-Filling (CLB-IWF). In a dynamic environment, we unify SCLB and CLB-IWF into CLB-DA, which comprises Dynamic Allocation. CLB-DA is compared with Least Loaded Routing (LLR) policy and with Random Routing policy. We finally deduce that at light loads CLB-DA outperforms LLR, attaining smaller blocking probability, whereas at heavier loads all three policies converge.