{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T15:30:24Z","timestamp":1777390224429,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","funder":[{"name":"CNRS"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1145\/3773274.3774272","type":"proceedings-article","created":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T11:40:28Z","timestamp":1767181228000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Protocol-to-Model Translation Framework: Enabling Mathematically Tractable TCP Models for Autonomic Controller Design"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-4036-5723","authenticated-orcid":false,"given":"Ahmed","family":"Ben Ali","sequence":"first","affiliation":[{"name":"LAAS-CNRS, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-2544-9762","authenticated-orcid":false,"given":"Yann","family":"Labit","sequence":"additional","affiliation":[{"name":"LAAS-CNRS, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0503-8986","authenticated-orcid":false,"given":"Benoit","family":"Nougnanke","sequence":"additional","affiliation":[{"name":"Telecom SudParis, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8800-6356","authenticated-orcid":false,"given":"Jean-Fran\u00e7ois","family":"Baffier","sequence":"additional","affiliation":[{"name":"IIJ Research Lab, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,12,31]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/1851182.1851192"},{"key":"e_1_3_3_1_3_2","unstructured":"Duarte Antunes W.P.M.H. Heemels and Paulo Tabuada. 2016. Analysis and synthesis of networked control systems: A survey of recent advances and challenges. ISA Transactions 60 (2016) 90\u2013103."},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","unstructured":"Essam Awwad Istv\u00e1n Gy\u0151ri and Ferenc Hartung. 2018. BIBO stability of discrete control systems with several time delays. Miskolc Mathematical Notes 19 1 (2018) 95\u2013109. 10.18514\/MMN.2018.2335","DOI":"10.18514\/MMN.2018.2335"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018465"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018465"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"crossref","unstructured":"Neal Cardwell Yuchung Cheng C\u00a0Stephen Gunn Soheil\u00a0Hassas Yeganeh and Van Jacobson. 2017. BBR: congestion-based congestion control. Commun. ACM 60 2 (2017) 58\u201366.","DOI":"10.1145\/3009824"},{"key":"e_1_3_3_1_8_2","first-page":"43","volume-title":"ACM SIGMETRICS Performance Evaluation Review","author":"Chen Timothy","year":"2022","unstructured":"Timothy Chen, Yuval Shpigelman, Gal Dalal, Amit Mandelbaum, Daphna Haritan, Boris Fuhrer, Gal Chechik, and Shie Mannor. 2022. Reinforcement learning for datacenter congestion control. In ACM SIGMETRICS Performance Evaluation Review , Vol.\u00a049. ACM, 43\u201346."},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/1592681.1592693"},{"key":"e_1_3_3_1_10_2","unstructured":"Alan Cobham. 1965. The intrinsic computational difficulty of functions."},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"crossref","unstructured":"Jeffrey Dean and Luiz\u00a0Andr\u00e9 Barroso. 2013. The tail at scale. Commun. ACM 56 2 (2013) 74\u201380.","DOI":"10.1145\/2408776.2408794"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1002\/9780470479216.corpsy0200"},{"key":"e_1_3_3_1_13_2","first-page":"343","volume-title":"15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18)","author":"Dong Mo","year":"2018","unstructured":"Mo Dong, Tong Meng, Doron Zarchy, Engin Arslan, Yossi Gilad, P\u00a0Brighten Godfrey, and Michael Schapira. 2018. PCC Vivace: Online-Learning Congestion Control. In 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18). Renton, WA, 343\u2013356."},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"crossref","unstructured":"Nelson Dumisa et\u00a0al. 2025. TCP Congestion Control Algorithm Using Queueing Theory-Based Optimality Equation. Electronics 14 2 (2025) 263.","DOI":"10.3390\/electronics14020263"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","unstructured":"Jack Edmonds. 1965. Paths Trees and Flowers. Canadian Journal of Mathematics 17 (1965) 449\u2013467. 10.4153\/CJM-1965-045-4","DOI":"10.4153\/CJM-1965-045-4"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41108-8_7"},{"key":"e_1_3_3_1_17_2","unstructured":"Tamer\u00a0E. Fahim Pablo Huerta and Gabriel Wainer. 2018. Action-Level Real-Time Network-on-Chip Modeling. Simulation Modelling Practice and Theory 84 (2018) 69\u201382."},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"crossref","unstructured":"Sally Floyd Tom Henderson and Andrei Gurtov. 2004. The NewReno modification to TCP\u2019s fast recovery algorithm.","DOI":"10.17487\/rfc3782"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM52122.2024.10621288"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","unstructured":"Chuanxiong Guo Lihua Yuan Dong Xiang Yingnong Dang Ray Huang Dave Maltz Zhaoyi Liu Vin Wang Bin Pang Hua Chen Zhi-Wei Lin and Varugis Kurien. 2015. Pingmesh: A Large-Scale System for Data Center Network Latency Measurement and Analysis. SIGCOMM Comput. Commun. Rev. 45 4 (Aug. 2015) 139\u2013152. 10.1145\/2829988.2787496","DOI":"10.1145\/2829988.2787496"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/1400097.1400105"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.17487\/rfc6582"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.1008360"},{"key":"e_1_3_3_1_24_2","first-page":"5390","volume-title":"36th International Conference on Machine Learning (ICML)","volume":"97","author":"Jay Nathan","year":"2019","unstructured":"Nathan Jay, Noga\u00a0H Rotman, P\u00a0Brighten Godfrey, Michael Schapira, and Aviv Tamar. 2019. A Deep Reinforcement Learning Perspective on Internet Congestion Control. In 36th International Conference on Machine Learning (ICML) , Vol.\u00a097. Long Beach, CA, USA, 5390\u20135399."},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"crossref","unstructured":"Ghasem Kahe Amir\u00a0Hossein Jahangir and Babak Ebrahimi. 2014. AQM controller design for TCP networks based on a new control strategy. Telecommunication Systems 57 3 (2014) 295\u2013311.","DOI":"10.1007\/s11235-013-9859-y"},{"key":"e_1_3_3_1_26_2","first-page":"219","volume-title":"50 Years of Integer Programming 1958-2008: from the Early Years to the State-of-the-Art","author":"Karp Richard\u00a0M","year":"2009","unstructured":"Richard\u00a0M Karp. 2009. Reducibility among combinatorial problems. In 50 Years of Integer Programming 1958-2008: from the Early Years to the State-of-the-Art. Springer, 219\u2013241."},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"crossref","unstructured":"Jianxin Liu Xin Li Fangxin Tang Peng Li Li Chen Jiong Yu Yifei Zhu Pheng-Ann Heng and Lin Yang. 2025. An Adaptive and Interpretable Congestion Control Service Based on Multi-Objective Reinforcement Learning. IEEE Transactions on Services Computing 18 2 (2025) 586\u2013602.","DOI":"10.1109\/TSC.2024.3517328"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"crossref","unstructured":"Steven\u00a0H Low and David\u00a0E Lapsley. 1999. Optimization flow control\u2014I: basic algorithm and convergence. IEEE\/ACM Transactions on networking 7 6 (1999) 861\u2013874.","DOI":"10.1109\/90.811451"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/347059.347421"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787510"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"crossref","unstructured":"Haidlir Naqvi and Muhammad Hilman. 2023. Implementability improvement of deep reinforcement learning based congestion control in cellular network. Computer Networks 233 (2023) 109871.","DOI":"10.1016\/j.comnet.2023.109874"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2001.980095"},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2004.842216"},{"key":"e_1_3_3_1_34_2","first-page":"184","volume-title":"ACM SIGMETRICS Performance Evaluation Review","author":"Quet Pierre-Francois","year":"2002","unstructured":"Pierre-Francois Quet, Abhishek Chandra, and Prashant Pradhan. 2002. Using control theory to achieve service differentiation in web servers. In ACM SIGMETRICS Performance Evaluation Review , Vol.\u00a030. ACM, 184\u2013194."},{"key":"e_1_3_3_1_35_2","doi-asserted-by":"publisher","DOI":"10.5555\/984116"},{"key":"e_1_3_3_1_36_2","doi-asserted-by":"crossref","unstructured":"Gayane Vardoyan C.\u00a0V. Hollot and Don Towsley. 2021. Towards Stability Analysis of Data Transport Mechanisms: A Fluid Model and Its Applications. IEEE\/ACM Transactions on Networking 29 4 (2021) 1730\u20131744.","DOI":"10.1109\/TNET.2021.3075837"},{"key":"e_1_3_3_1_37_2","doi-asserted-by":"publisher","DOI":"10.1145\/1592568.1592604"},{"key":"e_1_3_3_1_38_2","first-page":"67","volume-title":"Intelligent Robotics and Applications","author":"Wang Jing","year":"2010","unstructured":"Jing Wang and Rui Yuan. 2010. Synthesis of PI\u2013type Congestion Controller for AQM Router in TCP\/AQM Network. In Intelligent Robotics and Applications. Springer, 67\u201376."},{"key":"e_1_3_3_1_39_2","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018443"},{"key":"e_1_3_3_1_40_2","doi-asserted-by":"publisher","DOI":"10.1145\/3359989.3365426"},{"key":"e_1_3_3_1_41_2","unstructured":"Liangcheng Zhang et\u00a0al. 2024. Towards Fair and Efficient Learning-based Congestion Control. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2403.01798 (2024)."}],"event":{"name":"UCC '25: 2025 IEEE\/ACM 18th International Conference on Utility and Cloud Computing","location":"France France","acronym":"UCC '25","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the 18th IEEE\/ACM International Conference on Utility and Cloud Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3773274.3774272","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T11:41:43Z","timestamp":1767181303000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3773274.3774272"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12]]},"references-count":40,"alternative-id":["10.1145\/3773274.3774272","10.1145\/3773274"],"URL":"https:\/\/doi.org\/10.1145\/3773274.3774272","relation":{},"subject":[],"published":{"date-parts":[[2025,12]]},"assertion":[{"value":"2025-12-31","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}