Computational and Simulation Models of the Control System on Modelica

Cover Page

Abstract


When modeling network protocols, the choice of a model approach and a software implementation tool is a problem. The specificity of this subject area is that for the description of protocols usually the discrete-event approach is used. However, the discrete model approach has several disadvantages. It is poorly scalable, not well suited for describing dynamic systems. As an alternative to the discrete approach, a continuous approach is usually considered. But when modeling discrete events, continuous description becomes unnecessarily complicated and heavy. Events take the form of some restrictions on the continuous system, which are often not explicitly included in the continuous model, but have the form of additional semantic descriptions. The authors propose to use a hybrid (continuous-discrete) approach when modeling such systems. In the framework of the hybrid approach, the discrete system is recorded in a continuous form, and the events take the form of discrete transitions inherent in the approach. In addition, if it is based on the description of events, a simulation model can be obtained on the basis of a hybrid approach. This paper demonstrates the use of a hybrid approach to describe systems with control by the example of the interaction of the TCP protocol and the RED algorithm. The simplicity of creating both computational and simulation models of the system is demonstrated. The Modelica language is used as the implementation language.


About the authors

Anne-Marie Yu Apreutesey

Peoples’ Friendship University of Russia (RUDN University)

Author for correspondence.
Email: miphj@rudn.university
6, Miklukho-Maklaya str., Moscow, 117198, Russian Federation

student of Department of Applied Probability and Informatics of Peoples’ Friendship University of Russia (RUDN University)

Anna V Zavozina

Peoples’ Friendship University of Russia (RUDN University)

Email: miphj@rudn.university
6, Miklukho-Maklaya str., Moscow, 117198, Russian Federation

student of Department of Applied Probability and Informatics of Peoples’ Friendship University of Russia (RUDN University)

Anna V Korolkova

Peoples’ Friendship University of Russia (RUDN University)

Email: miphj@rudn.university
6, Miklukho-Maklaya str., Moscow, 117198, Russian Federation

Associate Professor, Candidate of Sciences in Physics and Mathematics, Associate Professor of Department of Applied Probability and Informatics of Peoples’ Friendship University of Russia (RUDN University)

Dmitry S Kulyabov

Peoples’ Friendship University of Russia (RUDN University); Joint Institute for Nuclear Research

Email: miphj@rudn.university
6, Miklukho-Maklaya str., Moscow, 117198, Russian Federation; 6 Joliot-Curie, Dubna, Moscow region, 141980, Russian Federation

Associate Professor, Doctor of Sciences in Physics and Mathematics, Associate Professor of Department of Applied Probability and Informatics of Peoples’ Friendship University of Russia (RUDN University)

References

  1. S. Floyd, V. Jacobson, Random Early Detection Gateways for Congestion Avoidance, IEEE/ACM Transactions on Networking 1 (4) (1993) 397–413. doi: 10.1109/90.251892.
  2. E. Altman, T. Jim´enez, NS Simulator for Beginners, Synthesis Lectures on Communication Networks 5 (1) (2012) 1–184. doi: 10.2200/S00397ED1V01Y201112CNT010.
  3. T. Issariyakul, E. Hossain, Introduction to Network Simulator NS2, Springer US, Boston, MA, 2012. doi: 10.1007/978-1-4614-1406-3.
  4. A. V. Demidova, A. V. Korolkova, D. S. Kulyabov, L. A. Sevastyanov, The Method of Constructing Models of Peer to Peer Protocols, in: 6th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT), IEEE Computer Society, 2015, pp. 557–562. arXiv:1504.00576, doi: 10.1109/ICUMT.2014.7002162.
  5. E. G. Eferina, A. V. Korolkova, M. N. Gevorkyan, D. S. Kulyabov, L. A. Sevastyanov, One-Step Stochastic Processes Simulation Software Package, Bulletin of Peoples’ Friendship University of Russia. Series “Mathematics. Information Sciences. Physics” (3) (2014) 46–59. arXiv:1503.07342.
  6. C.-W. Feng, L.-F. Huang, C. Xu, Y.-C. Chang, Congestion Control Scheme Performance Analysis Based on Nonlinear RED, IEEE Systems Journal (2015) 1– 8doi: 10.1109/JSYST.2014.2375314.
  7. W. Lautenschlaeger, A. Francini, Global Synchronization Protection for Bandwidth Sharing TCP Flows in High-Speed Links, in: Proc. 16-th International Conference on High Performance Switching and Routing, IEEE HPSR 2015, Budapest, Hungary, 2015. arXiv:1602.05333.
  8. Karmeshu, S. Patel, S. Bhatnagar, Adaptive Mean Queue Size and Its Rate of Change: Queue Management with Random Dropping (2016) 1–17arXiv:1602.02241.
  9. V. Paxson, S. Floyd, Why We Don’t Know How to Simulate the Internet, in: Proceedings of the 29th conference on Winter simulation WSC ’97, ACM Press, New York, USA, 1997, pp. 1037–1044. doi: 10.1145/268437.268737.
  10. V. Paxson, S. Floyd, Wide Area Traffic: the Failure of Poisson Modeling, IEEE/ACM Transactions on Networking 3 (3) (1995) 226–244. doi: 10.1109/90.392383.
  11. W. E. Leland, M. S. Taqqu, W. Willinger, D. V. Wilson, On the Self-Similar Nature of Ethernet Traffic (Extended Version), IEEE/ACM Transactions on Networking 2 (1) (1994) 1–15. doi: 10.1109/90.282603.
  12. O. Maler, Hybrid Systems and Real-World Computations, in: Workshop on Theory of Hybrid Systems, Springer-Verlag, Lyndby, Denmark, 1992.
  13. O. Maler, Control from Computer Science, Annual Reviews in Control 26 (2) (2002) 175–187. doi: 10.1016/S1367-5788(02)00030-5.
  14. D. F¨arnqvist, K. Strandemar, K. H. Johansson, J. P. Hespanha, Hybrid Modeling of Communication Networks Using Modelica, in: The 2nd International Modelica Conference, 2002, pp. 209–213.
  15. J. P. Hespanha, S. Bohacek, K. Obraczka, J. Lee, Hybrid Modeling of TCP Congestion Control, in: Lncs, no. 2034, 2001, pp. 291–304. doi: 10.1007/3-540-45351-2_25.
  16. S. Bohacek, J. Lee, Analysis of a TCP Hybrid Model, in: Proc. of the 39th Annual Allerton Conference on Communication, Control, and Computing, 2001, pp. 1–10.
  17. A. V. Korolkova, T. R. Velieva, P. A. Abaev, L. A. Sevastianov, D. S. Kulyabov, Hybrid Simulation Of Active Traffic Management, Proceedings 30th European Conference on Modelling and Simulation (2016) 685–691doi: 10.7148/2016-0685.
  18. P. Fritzson, Principles of Object-Oriented Modeling and Simulation with Modelica 2.1, Wiley-IEEE Press, 2003.
  19. P. Fritzson, Introduction to Modeling and Simulation of Technical and Physical Systems with Modelica, John Wiley & Sons, Inc., Hoboken, NJ, USA, 2011. doi: 10.1002/9781118094259.
  20. K. Fall, S. Floyd, Simulation-Based Comparisons of Tahoe, Reno and SACK TCP, ACM SIGCOMM Computer Communication Review 26 (3) (1996) 5–21. doi: 10.1145/235160.235162.
  21. M. Allman, V. Paxson, E. Blanton, TCP Congestion Control (sep 2009). doi: 10.17487/rfc5681.
  22. R. Brockett, Stochastic Analysis for Fluid Queueing Systems, in: Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304), Vol. 3, IEEE, 1999, pp. 3077–3082. doi: 10.1109/CDC.1999.831407.
  23. V. Misra, W.-B. Gong, D. Towsley, Stochastic Differential Equation Modeling and Analysis of TCP-Windowsize Behavior, Proceedings of PERFORMANCE 99.
  24. V. Misra, W.-B. Gong, D. Towsley, Fluid-Based Analysis of a Network of AQM Routers Supporting TCP Flows with an Application to RED, ACM SIGCOMM Computer Communication Review 30 (4) (2000) 151–160. doi: 10.1145/347057.347421.
  25. T. R. Velieva, A. V. Korolkova, D. S. Kulyabov, Designing Installations for Verification of the Model of Active Queue Management Discipline RED in the GNS3, in: 6th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT), IEEE Computer Society, 2015, pp. 570–577. arXiv:1504.02324, doi: 10.1109/ICUMT.2014.7002164.
  26. J. Padhye, V. Firoiu, D. Towsley, J. Kurose, Modeling TCP Throughput, ACM SIGCOMM Computer Communication Review 28 (4) (1998) 303–314. doi: 10.1145/285243.285291.

Statistics

Views

Abstract - 416

PDF (Russian) - 321

Cited-By


PlumX

Dimensions


Copyright (c) 2018 Apreutesey A.Y., Zavozina A.V., Korolkova A.V., Kulyabov D.S.

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.

This website uses cookies

You consent to our cookies if you continue to use our website.

About Cookies