{"id":"https://openalex.org/W7117786281","doi":"https://doi.org/10.1145/3773274.3774272","title":"Protocol-to-Model Translation Framework: Enabling Mathematically Tractable TCP Models for Autonomic Controller Design","display_name":"Protocol-to-Model Translation Framework: Enabling Mathematically Tractable TCP Models for Autonomic Controller Design","publication_year":2025,"publication_date":"2025-12-01","ids":{"openalex":"https://openalex.org/W7117786281","doi":"https://doi.org/10.1145/3773274.3774272"},"language":null,"primary_location":{"id":"doi:10.1145/3773274.3774272","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3773274.3774272","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th IEEE/ACM International Conference on Utility and Cloud Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3773274.3774272","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Ahmed Ben Ali","orcid":"https://orcid.org/0009-0000-4036-5723"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I193033237","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210152422","https://openalex.org/I4210159245","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Ahmed Ben Ali","raw_affiliation_strings":["LAAS-CNRS, Toulouse, France"],"raw_orcid":"https://orcid.org/0009-0000-4036-5723","affiliations":[{"raw_affiliation_string":"LAAS-CNRS, Toulouse, France","institution_ids":["https://openalex.org/I190497903","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065018438","display_name":"Yann Labit","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I193033237","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210152422","https://openalex.org/I4210159245","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Yann Labit","raw_affiliation_strings":["LAAS-CNRS, Toulouse, France"],"raw_orcid":"https://orcid.org/0009-0006-2544-9762","affiliations":[{"raw_affiliation_string":"LAAS-CNRS, Toulouse, France","institution_ids":["https://openalex.org/I190497903","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052629636","display_name":"Benoit Nougnanke","orcid":"https://orcid.org/0000-0002-0503-8986"},"institutions":[{"id":"https://openalex.org/I12356871","display_name":"T\u00e9l\u00e9com Paris","ror":"https://ror.org/01naq7912","country_code":"FR","type":"education","lineage":["https://openalex.org/I12356871","https://openalex.org/I205703379","https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4210145102","display_name":"Institut Polytechnique de Paris","ror":"https://ror.org/042tfbd02","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4387153010","display_name":"T\u00e9l\u00e9com SudParis","ror":"https://ror.org/05xvk4r52","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210145102","https://openalex.org/I4387153010"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Benoit Nougnanke","raw_affiliation_strings":["Telecom SudParis, Paris, France"],"raw_orcid":"https://orcid.org/0000-0002-0503-8986","affiliations":[{"raw_affiliation_string":"Telecom SudParis, Paris, France","institution_ids":["https://openalex.org/I12356871","https://openalex.org/I4210145102","https://openalex.org/I4387153010"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048185370","display_name":"Jean-Fran\u00e7ois Baffier","orcid":"https://orcid.org/0000-0002-8800-6356"},"institutions":[{"id":"https://openalex.org/I4210145792","display_name":"IIJ Research Laboratory","ror":"https://ror.org/05e0dm506","country_code":"JP","type":"facility","lineage":["https://openalex.org/I4210145792"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Jean-Fran\u00e7ois Baffier","raw_affiliation_strings":["IIJ Research Lab, Tokyo, Japan"],"raw_orcid":"https://orcid.org/0000-0002-8800-6356","affiliations":[{"raw_affiliation_string":"IIJ Research Lab, Tokyo, Japan","institution_ids":["https://openalex.org/I4210145792"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1081,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.85810284,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10138","display_name":"Network Traffic and Congestion Control","score":0.6207000017166138,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10138","display_name":"Network Traffic and Congestion Control","score":0.6207000017166138,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.2295999974012375,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.025800000876188278,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.49070000648498535},{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.4814000129699707},{"id":"https://openalex.org/keywords/controllability","display_name":"Controllability","score":0.46939998865127563},{"id":"https://openalex.org/keywords/fidelity","display_name":"Fidelity","score":0.46790000796318054},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.42590001225471497},{"id":"https://openalex.org/keywords/tcp-tuning","display_name":"TCP tuning","score":0.388700008392334},{"id":"https://openalex.org/keywords/transmission-control-protocol","display_name":"Transmission Control Protocol","score":0.3797999918460846}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7924000024795532},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4968000054359436},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.49070000648498535},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.4814000129699707},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.46939998865127563},{"id":"https://openalex.org/C2776459999","wikidata":"https://www.wikidata.org/wiki/Q2119376","display_name":"Fidelity","level":2,"score":0.46790000796318054},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.42590001225471497},{"id":"https://openalex.org/C120837960","wikidata":"https://www.wikidata.org/wiki/Q7669763","display_name":"TCP tuning","level":4,"score":0.388700008392334},{"id":"https://openalex.org/C33588617","wikidata":"https://www.wikidata.org/wiki/Q8803","display_name":"Transmission Control Protocol","level":3,"score":0.3797999918460846},{"id":"https://openalex.org/C558632462","wikidata":"https://www.wikidata.org/wiki/Q788172","display_name":"Autonomic computing","level":3,"score":0.3240000009536743},{"id":"https://openalex.org/C195563490","wikidata":"https://www.wikidata.org/wiki/Q180368","display_name":"Network congestion","level":3,"score":0.3156000077724457},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.2992999851703644},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.2922999858856201},{"id":"https://openalex.org/C76969082","wikidata":"https://www.wikidata.org/wiki/Q486902","display_name":"Mathematical model","level":2,"score":0.28220000863075256},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.28189998865127563},{"id":"https://openalex.org/C18736499","wikidata":"https://www.wikidata.org/wiki/Q5636003","display_name":"HSTCP","level":5,"score":0.2773999869823456},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.2750000059604645},{"id":"https://openalex.org/C134066672","wikidata":"https://www.wikidata.org/wiki/Q1424639","display_name":"Payload (computing)","level":3,"score":0.25360000133514404}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3773274.3774272","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3773274.3774272","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th IEEE/ACM International Conference on Utility and Cloud Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3773274.3774272","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3773274.3774272","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th IEEE/ACM International Conference on Utility and Cloud Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.6216850280761719}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1510365998","https://openalex.org/W1968331080","https://openalex.org/W1982063824","https://openalex.org/W2018130439","https://openalex.org/W2022844530","https://openalex.org/W2037710455","https://openalex.org/W2101871381","https://openalex.org/W2112486185","https://openalex.org/W2118687002","https://openalex.org/W2133581580","https://openalex.org/W2139378549","https://openalex.org/W2142325999","https://openalex.org/W2156390226","https://openalex.org/W2163404313","https://openalex.org/W2164740236","https://openalex.org/W2503459368","https://openalex.org/W2540285146","https://openalex.org/W2900677395","https://openalex.org/W2993199282","https://openalex.org/W3161865136","https://openalex.org/W4230300228","https://openalex.org/W4233756358","https://openalex.org/W4256266878","https://openalex.org/W4302802882","https://openalex.org/W4381849708","https://openalex.org/W4401508587","https://openalex.org/W4406243284","https://openalex.org/W4409357124"],"related_works":[],"abstract_inverted_index":{"Multi-tenant":[0],"datacenter":[1,159,198],"environments":[2],"require":[3],"autonomic":[4,89,120,179],"network":[5,199],"management":[6],"systems":[7],"that":[8,97,114,182],"can":[9,183],"adapt":[10,185],"to":[11,18,56,186],"heterogeneous":[12],"TCP":[13,27,78,117,188],"variants":[14,79,189],"without":[15],"manual":[16],"intervention":[17],"maintain":[19],"performance":[20],"guarantees":[21,194],"and":[22,43,63,80,140,142,152,171],"SLA":[23],"compliance.":[24],"However,":[25],"existing":[26],"modeling":[28,61],"approaches":[29,82],"cannot":[30],"translate":[31],"protocol":[32,169],"specifications":[33],"into":[34],"control-theoretic":[35],"models":[36,73,113],"while":[37,190],"preserving":[38],"both":[39,147],"the":[40,58,84,99,164,175,192],"behavioral":[41],"fidelity":[42],"mathematical":[44,64,135,193],"tractability":[45,85],"required":[46],"for":[47,67,76,87,119,167,196],"designing":[48],"such":[49],"self-managing":[50],"systems.":[51,90],"Previous":[52],"work":[53,92],"has":[54],"failed":[55],"address":[57],"trade-off":[59],"between":[60],"accuracy":[62,75],"properties":[65],"essential":[66,195],"advanced":[68],"controller":[69,121],"synthesis,":[70],"with":[71,102],"classical":[72],"lacking":[74],"modern":[77,116],"recent":[81],"sacrificing":[83],"needed":[86],"real-time":[88],"This":[91,161],"introduces":[93],"a":[94,125],"protocol-derived":[95,129],"framework":[96,162],"extends":[98],"Hollot-Misra":[100],"approach":[101],"time-varying":[103],"parameters":[104],"extracted":[105],"directly":[106],"from":[107,132],"RFC":[108,133],"specifications,":[109],"enabling":[110,174],"mathematically":[111],"tractable":[112],"capture":[115],"behavior":[118],"design.":[122],"We":[123],"developed":[124],"systematic":[126],"methodology":[127],"encompassing":[128],"parameter":[130],"extraction":[131],"6582,":[134],"property":[136],"preservation":[137],"ensuring":[138],"controllability":[139],"observability,":[141],"comprehensive":[143],"dual-scale":[144],"validation":[145],"through":[146],"detailed":[148],"6-flow":[149],"mechanistic":[150],"analysis":[151],"large-scale":[153],"200-flow":[154],"statistical":[155],"evaluation":[156],"across":[157],"realistic":[158],"scenarios.":[160],"establishes":[163],"methodological":[165],"foundation":[166],"bridging":[168],"engineering":[170],"control":[172],"theory,":[173],"development":[176],"of":[177],"sophisticated":[178],"AQM":[180],"controllers":[181],"automatically":[184],"diverse":[187],"maintaining":[191],"resilient":[197],"infrastructure.":[200]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-12-31T00:00:00"}