Digital Bifurcation Analysis of TCP Dynamics

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F19%3A00107359" target="_blank" >RIV/00216224:14330/19:00107359 - isvavai.cz</a>

Result on the web

<a href="https://link.springer.com/chapter/10.1007/978-3-030-17465-1_19" target="_blank" >https://link.springer.com/chapter/10.1007/978-3-030-17465-1_19</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-030-17465-1_19" target="_blank" >10.1007/978-3-030-17465-1_19</a>

Result language

angličtina

Original language name

Digital Bifurcation Analysis of TCP Dynamics

Original language description

Digital bifurcation analysis is a new algorithmic method for exploring how the behaviour of a parameter-dependent computer system varies with a change in its parameters and, in particular, for identification of bifurcation points where such variation becomes dramatic. We have developed the method in an analogy with the traditional bifurcation theory and have it successfully applied to models taken from systems biology. In this case study paper, we demonstrate the appropriateness and usefulness of the digital bifurcation analysis as a push-button alternative to the classical approaches as traditionally used for analysing the stability of TCP/IP protocols. We consider two typical examples (congestion control and buffer sizes throughput influence) and show that the method provides the same results as obtained with classical non-automatic analytical and numerical methods.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/GA18-00178S" target="_blank" >GA18-00178S: Discrete Bifurcation Analysis of Reactive Systems</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Publication year

2019

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019

ISBN

9783030174644

ISSN

0302-9743

e-ISSN

1611-3349

Number of pages

18

Pages from-to

339-356

Publisher name

Springer International Publishing

Place of publication

Cham

Event location

Prague

Event date

Apr 8, 2019

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

000681174300019