Modeling communication networks with hybrid systems

被引:45
作者
Lee, Junsoo [1 ]
Bohacek, Stephan
Hespanha, Joao P.
Obraczka, Katia
机构
[1] Sookmyung Womens Univ, Dept Comp Sci, Seoul 140742, South Korea
[2] Univ Delaware, Dept Elect & Comp Engn, Newark, DE 19716 USA
[3] Univ Calif Santa Barbara, Dept Elect & Comp Engn, Santa Barbara, CA 93106 USA
[4] Univ Calif Santa Cruz, Dept Comp Engn, Santa Cruz, CA 95064 USA
基金
美国国家科学基金会;
关键词
congestion control; data communication networks; hybrid systems; simulation; TCP; UDP;
D O I
10.1109/TNET.2007.893090
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This paper introduces a general hybrid systems framework to model the How of traffic in communication networks. The proposed models use averaging to continuously approximate discrete variables such as congestion window and queue size. Because averaging occurs over short time intervals, discrete events such as the occurrence of a drop and the consequent reaction by congestion control can still be captured. This modeling framework, thus, fills a gap between purely packet-level and fluid-based models, faithfully capturing the dynamics of transient phenomena and yet providing significant flexibility in modeling various congestion control mechanisms, different queueing policies, multicast transmission, etc. The modeling framework is validated by comparing simulations of the hybrid models against packet-level simulations. It is shown that the probability density functions produced by the ns-2 network simulator match closely those obtained with hybrid' models. Moreover, a complexity analysis supports the observation that in networks with large per-How bandwidths, simulations using hybrid models require significantly less computational resources than ns-2 simulations. Tools developed to automate the generation and simulation of hybrid systems models are also presented. Their use is showcased in a study, which simulates TCP flows with different roundtrip times over the Abilene backbone.
引用
收藏
页码:630 / 643
页数:14
相关论文
共 50 条
  • [21] Modeling of hybrid systems using continuous and hybrid Petri nets
    David, R
    PROCEEDINGS OF THE SEVENTH INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELS, 1997, : 47 - 58
  • [22] Modelling and Verifying Communication Failure of Hybrid Systems in HCSP
    Wang, Shuling
    Nielson, Flemming
    Nielson, Hanne Riis
    Zhan, Naijun
    COMPUTER JOURNAL, 2017, 60 (08) : 1111 - 1130
  • [23] A Library of Nonlinearities for Modeling and Simulation of Hybrid Systems
    Ionescu, Florin
    Arotaritei, Dragos
    Arghir, Stefan
    Constantin, George
    Stefanoiu, Dan
    Stratulat, Florin
    KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I: 15TH INTERNATIONAL CONFERENCE, KES 2011, 2011, 6881 : 72 - 81
  • [24] Petri net based modeling of hybrid systems
    Champagnat, R
    Esteban, P
    Pingaud, H
    Valette, R
    COMPUTERS IN INDUSTRY, 1998, 36 (1-2) : 139 - 146
  • [25] Disjunctive modeling for optimal control of hybrid systems
    Oldenburg, Jan
    Marquardt, Wolfgang
    COMPUTERS & CHEMICAL ENGINEERING, 2008, 32 (10) : 2346 - 2364
  • [26] Compositional modeling and refinement for hierarchical hybrid systems
    Alur, R
    Grosu, R
    Lee, IS
    Sokolsky, O
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2006, 68 (1-2): : 105 - 128
  • [27] Modeling and controllability for a class of hybrid mechanical systems
    Bullo, F
    Zefran, M
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2002, 18 (04): : 563 - 573
  • [28] Modeling hybrid systems in Scicos: A case study
    Nikoukhah, R
    Proceedings of the 25th IASTED International Conference on Modelling, Identification, and Control, 2006, : 315 - 319
  • [29] Modeling and verification of hybrid systems based on equations
    Ogata, K
    Yamagishi, D
    Seino, T
    Futatsugi, K
    DESIGN METHODS AND APPLICATIONS FOR DISTRIBUTED EMBEDDED SYSTEMS, 2004, 150 : 43 - 52
  • [30] On modeling and locomotion of hybrid mechanical systems with impacts
    Bullo, F
    Zefran, M
    PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1998, : 2633 - 2638