Differential automata and their discrete simulators
Non-Linear Analysis
Congestion avoidance and control
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
Observations on the dynamics of a congestion control algorithm: the effects of two-way traffic
SIGCOMM '91 Proceedings of the conference on Communications architecture & protocols
Random early detection gateways for congestion avoidance
IEEE/ACM Transactions on Networking (TON)
Simulation-based comparisons of Tahoe, Reno and SACK TCP
ACM SIGCOMM Computer Communication Review
Studies in hybrid systems: modeling, analysis, and control
Studies in hybrid systems: modeling, analysis, and control
The macroscopic behavior of the TCP congestion avoidance algorithm
ACM SIGCOMM Computer Communication Review
Modeling TCP throughput: a simple model and its empirical validation
Proceedings of the ACM SIGCOMM '98 conference on Applications, technologies, architectures, and protocols for computer communication
Equation-based congestion control for unicast applications
Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
Hybrid Systems I
Hybrid System Modeling and Autonomous Control Systems
Hybrid Systems
A Dynamical Simulation Facility for Hybrid Systems
Hybrid Systems
Multiobjective Hybrid Controller Synthesis
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
INFOCOM '97 Proceedings of the INFOCOM '97. Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Driving the Information Revolution
General AIMD Congestion Control
General AIMD Congestion Control
On Optimal Quadratic Regulation for Discrete-Time Switched Linear Systems
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Reasoning about finite-state switched systems
HVC'09 Proceedings of the 5th international Haifa verification conference on Hardware and software: verification and testing
Stability analysis of switched systems using variational principles: An introduction
Automatica (Journal of IFAC)
Automatica (Journal of IFAC)
| Hi-index | 0.00 |
In this paper we propose a hybrid model for TCP's congestion control mechanism operating under drop-tail queuing policy. Using this model we confirmed the standard formula T := 1 23/RTT√ used by TCP-friendly congestion control algorithms, which relates the average packet drop rate p, the average round-trip time /TT, and the average throughput T. The hybrid model also allows us to understand the transient behavior and theoretically predict the flow synchronization phenomena that have been observed in simulations and in real networks but, to the best of our knowledge, have not been theoretically justified. This model can also be used to detect abnormalities in TCP traffic flows, which has important applications in network security.