2 citations · 3 across the 2 of their papers we have counts for
3 papers
Nagumo-Type Characterization of Forward Invariance for Constrained Systems
Olayo Reynaud, Mohamed Maghenem, Adnane Saoud +2
This paper proposes a Nagumo-type invariance condition for differential inclusions defined on closed constraint sets. More specifically, given a closed set to render forward invari…
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…
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…