2 citations · 3 across the 6 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
eess.SY2022★ 1 cited
A two dimensional fluid model for TCP/AQM analysis
Sadek Belamfedel Alaoui, Alejandro J. Rojas, Abdelaziz Hmamed +1
This work proposes a new mathematical model for the TCP/AQM system that aims to improve the accuracy of existing fluid models, especially with respect to the sequential events that…
eess.SY2022★ 2 cited
Compositional Approximately Bisimilar Abstractions of Interconnected Systems
Belamfedel Alaoui Sadek, Saharsh, Pushpak Jagtap +1
This paper formulates and studies the concepts of approximate (alternating) bisimulation relations characterizing equivalence relations between interconnected systems and their abs…