Digital Bifurcation Analysis of Internet Congestion Control Protocols
From MaRDI portal
Publication:5138291
DOI10.1142/S0218127420300384zbMath1453.93141OpenAlexW3095547767MaRDI QIDQ5138291
David Šafránek, Nikola Beneš, Samuel Pastva, Luboš Brim
Publication date: 3 December 2020
Published in: International Journal of Bifurcation and Chaos (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0218127420300384
Feedback control (93B52) Control/observation systems involving computers (process control, etc.) (93C83) Digital control/observation systems (93C62) Networked control (93B70)
Uses Software
Cites Work
- Unnamed Item
- Hopf bifurcation analysis in a fluid flow model of internet congestion control algorithm
- Controlling bifurcations and chaos in TCP-UDP-RED
- Depth-first search is inherently sequential
- On the concept of attractor
- On the homology of attractors
- Formal methods for discrete-time dynamical systems
- Stability and Hopf bifurcation analysis of a TCP/RAQM network with ISMC procedure
- A model checking approach to discrete bifurcation analysis
- System design of stochastic models using robustness of temporal properties
- Finding strongly connected components in distributed graphs
- A model for stochastic hybrid systems with application to communication networks
- Distributed Algorithms for SCC Decomposition
- SYMBOLIC DYNAMICAL MODEL OF AVERAGE QUEUE SIZE OF RANDOM EARLY DETECTION ALGORITHM
- Stability of TCP Dynamics in Large Data Networks
- Handbook of Model Checking
- Detecting Attractors in Biological Models with Uncertain Parameters
- Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT
- Bifurcation Analysis of a Class of (n + 1)-Dimension Internet Congestion Control Systems
- Instability of a Tandem Network and Its Propagation Under RED
- High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
- Depth-First Search and Linear Graph Algorithms
