{"id":"https://openalex.org/W4411948748","doi":"https://doi.org/10.1109/tits.2025.3582585","title":"Formal Modeling and Synthesis of Longitudinal Dynamics Controller for Train Platoons","display_name":"Formal Modeling and Synthesis of Longitudinal Dynamics Controller for Train Platoons","publication_year":2025,"publication_date":"2025-07-02","ids":{"openalex":"https://openalex.org/W4411948748","doi":"https://doi.org/10.1109/tits.2025.3582585"},"language":"en","primary_location":{"id":"doi:10.1109/tits.2025.3582585","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tits.2025.3582585","pdf_url":null,"source":{"id":"https://openalex.org/S144771191","display_name":"IEEE Transactions on Intelligent Transportation Systems","issn_l":"1524-9050","issn":["1524-9050","1558-0016"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Intelligent Transportation Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006469045","display_name":"Wanli Lu","orcid":"https://orcid.org/0000-0002-0883-5868"},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wanli Lu","raw_affiliation_strings":["School of Automation and Intelligence, Beijing Jiaotong University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-0883-5868","affiliations":[{"raw_affiliation_string":"School of Automation and Intelligence, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039789791","display_name":"Jidong Lv","orcid":"https://orcid.org/0000-0001-8404-6820"},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jidong Lv","raw_affiliation_strings":["National Engineering Research Center of Rail Transportation Operation and Control System, Beijing Jiaotong University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-8404-6820","affiliations":[{"raw_affiliation_string":"National Engineering Research Center of Rail Transportation Operation and Control System, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100781916","display_name":"Xue Bai","orcid":"https://orcid.org/0000-0001-9717-846X"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bai Xue","raw_affiliation_strings":["State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences (CAS), Beijing, China","Institute of Software, State Key Laboratory of Computer Science, Chinese Academy of Sciences (CAS), Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-9717-846X","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences (CAS), Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"Institute of Software, State Key Laboratory of Computer Science, Chinese Academy of Sciences (CAS), Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014054841","display_name":"Zhengwei Luo","orcid":"https://orcid.org/0009-0009-8393-221X"},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhengwei Luo","raw_affiliation_strings":["School of Automation and Intelligence, Beijing Jiaotong University, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0009-8393-221X","affiliations":[{"raw_affiliation_string":"School of Automation and Intelligence, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9042,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.75199765,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"26","issue":"8","first_page":"11420","last_page":"11441"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10524","display_name":"Traffic control and management","score":0.9068999886512756,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10524","display_name":"Traffic control and management","score":0.9068999886512756,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/vehicle-dynamics","display_name":"Vehicle dynamics","score":0.637631893157959},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5537357926368713},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.4980800151824951},{"id":"https://openalex.org/keywords/dynamics","display_name":"Dynamics (music)","score":0.49121350049972534},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.4773987829685211},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.46377745270729065},{"id":"https://openalex.org/keywords/aerospace-engineering","display_name":"Aerospace engineering","score":0.40473008155822754},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.39301711320877075},{"id":"https://openalex.org/keywords/aeronautics","display_name":"Aeronautics","score":0.3249552249908447},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.2602109909057617},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.2601623237133026},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.0924060046672821}],"concepts":[{"id":"https://openalex.org/C79487989","wikidata":"https://www.wikidata.org/wiki/Q934680","display_name":"Vehicle dynamics","level":2,"score":0.637631893157959},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5537357926368713},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.4980800151824951},{"id":"https://openalex.org/C145912823","wikidata":"https://www.wikidata.org/wiki/Q113558","display_name":"Dynamics (music)","level":2,"score":0.49121350049972534},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.4773987829685211},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46377745270729065},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.40473008155822754},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.39301711320877075},{"id":"https://openalex.org/C178802073","wikidata":"https://www.wikidata.org/wiki/Q8421","display_name":"Aeronautics","level":1,"score":0.3249552249908447},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.2602109909057617},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.2601623237133026},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0924060046672821},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tits.2025.3582585","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tits.2025.3582585","pdf_url":null,"source":{"id":"https://openalex.org/S144771191","display_name":"IEEE Transactions on Intelligent Transportation Systems","issn_l":"1524-9050","issn":["1524-9050","1558-0016"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Intelligent Transportation Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1901980753","display_name":null,"funder_award_id":"52372309","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G334816948","display_name":null,"funder_award_id":"U22A2046","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4855897087","display_name":null,"funder_award_id":"L251033","funder_id":"https://openalex.org/F4320334977","funder_display_name":"Beijing Municipal Natural Science Foundation"},{"id":"https://openalex.org/G5391301079","display_name":null,"funder_award_id":"52272329","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6258336109","display_name":null,"funder_award_id":"U2469211","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6372665985","display_name":null,"funder_award_id":"U2468208","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8343158073","display_name":null,"funder_award_id":"52372310","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8860804194","display_name":null,"funder_award_id":"52172322","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8962730789","display_name":null,"funder_award_id":"U2468206","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320334977","display_name":"Beijing Municipal Natural Science Foundation","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":64,"referenced_works":["https://openalex.org/W2037635833","https://openalex.org/W2070956860","https://openalex.org/W2118477082","https://openalex.org/W2123357397","https://openalex.org/W2163819498","https://openalex.org/W2336810137","https://openalex.org/W2337661843","https://openalex.org/W2442701636","https://openalex.org/W2481150835","https://openalex.org/W2500837971","https://openalex.org/W2511722497","https://openalex.org/W2525042068","https://openalex.org/W2528726414","https://openalex.org/W2912198824","https://openalex.org/W2963226893","https://openalex.org/W2963474507","https://openalex.org/W2978533494","https://openalex.org/W2989041661","https://openalex.org/W3013911229","https://openalex.org/W3016260189","https://openalex.org/W3025631768","https://openalex.org/W3033567324","https://openalex.org/W3035434438","https://openalex.org/W3040175145","https://openalex.org/W3080984775","https://openalex.org/W3110816451","https://openalex.org/W3114263192","https://openalex.org/W3136316167","https://openalex.org/W3150266660","https://openalex.org/W3155061166","https://openalex.org/W3179145845","https://openalex.org/W3194050945","https://openalex.org/W3194981700","https://openalex.org/W3200232431","https://openalex.org/W3203511922","https://openalex.org/W3208645270","https://openalex.org/W3215631425","https://openalex.org/W4205852264","https://openalex.org/W4206976859","https://openalex.org/W4211147054","https://openalex.org/W4213348464","https://openalex.org/W4214928512","https://openalex.org/W4225679458","https://openalex.org/W4285222694","https://openalex.org/W4286359849","https://openalex.org/W4294811168","https://openalex.org/W4313436192","https://openalex.org/W4360868502","https://openalex.org/W4364322555","https://openalex.org/W4377971249","https://openalex.org/W4382203285","https://openalex.org/W4383506330","https://openalex.org/W4383611805","https://openalex.org/W4386918933","https://openalex.org/W4387388484","https://openalex.org/W4387609189","https://openalex.org/W4388469939","https://openalex.org/W4389671776","https://openalex.org/W4389934657","https://openalex.org/W4393942728","https://openalex.org/W4396881981","https://openalex.org/W4396941382","https://openalex.org/W4399154442","https://openalex.org/W6789737772"],"related_works":["https://openalex.org/W1636325709","https://openalex.org/W2724817865","https://openalex.org/W2400992695","https://openalex.org/W2382944939","https://openalex.org/W2065198926","https://openalex.org/W2923210090","https://openalex.org/W3014594398","https://openalex.org/W1931336049","https://openalex.org/W4403119242","https://openalex.org/W2000675896"],"abstract_inverted_index":{"Train":[0],"platoons":[1],"are":[2,13],"a":[3,53,85,90,147],"really":[4],"innovative":[5],"application":[6],"for":[7,94],"future":[8],"railways,":[9],"in":[10,105,179,207],"which":[11,158],"trains":[12,32,41],"virtually-coupled":[14],"via":[15],"Train-Train":[16],"communication,":[17],"so":[18],"drastically":[19],"reducing":[20],"their":[21],"headways":[22],"and":[23,45,71,76,89,102,124,151,161,185,200],"increasing":[24],"line":[25],"capacity.":[26],"However,":[27],"as":[28],"the":[29,35,57,61,69,74,79,139,142,168,192,216,221,226,231],"spacing":[30,67],"between":[31],"becomes":[33,42],"closer,":[34],"influence":[36,50],"of":[37,60,78,141,181,225],"disturbances":[38],"from":[39],"preceding":[40],"more":[43],"significant":[44],"cannot":[46],"be":[47],"ignored.":[48],"This":[49,82],"can":[51],"have":[52],"substantial":[54],"impact":[55],"on":[56],"operational":[58],"behavior":[59,224],"following":[62,223],"trains,":[63],"leading":[64],"to":[65,98,119,155,165,173,205,230],"fluctuating":[66],"within":[68],"platoon":[70,107,122,198],"potentially":[72],"compromising":[73],"safety":[75,101,129,199],"stability":[77],"train":[80,95,106,121,197,228],"spacing.":[81],"paper":[83],"introduces":[84],"formalized":[86],"modeling":[87],"framework":[88,110],"controller":[91,157],"synthesis":[92],"method":[93,170,194,218],"platoons,":[96],"aiming":[97],"achieve":[99],"absolute":[100],"stable":[103],"operation":[104],"operations.":[108],"The":[109],"utilizes":[111],"Hybrid":[112],"Priced":[113],"Two-player":[114],"Timed":[115],"Game":[116],"Automaton":[117],"(HPTTGA)":[118],"describe":[120],"dynamics":[123],"synthesizes":[125],"controllers":[126],"that":[127,191],"satisfy":[128,159],"requirements":[130],"using":[131],"an":[132],"On-the-fly":[133],"Controller":[134],"Synthesis":[135],"(OCS)":[136],"algorithm,":[137],"where":[138],"effectiveness":[140],"algorithm":[143],"is":[144,153,171],"demonstrated":[145],"through":[146],"two-train":[148],"tracking":[149],"example,":[150],"Q-learning":[152],"applied":[154],"select":[156],"local":[160,183],"string":[162,186],"stability.":[163,187],"Owing":[164],"model-based":[166],"feature,":[167],"proposed":[169,193,217],"compared":[172],"classical":[174],"Model":[175],"Predictive":[176],"Control":[177],"(MPC)":[178],"terms":[180],"safety,":[182],"stability,":[184],"Experimental":[188],"results":[189],"demonstrate":[190],"consistently":[195],"ensures":[196],"achieves":[201,220],"similar":[202],"control":[203,232],"performance":[204],"MPC":[206],"extreme":[208],"operating":[209],"scenarios.":[210],"Moreover,":[211],"under":[212],"velocity":[213],"limit":[214],"scenarios,":[215],"successfully":[219],"desired":[222],"trailing":[227],"according":[229],"objectives.":[233]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}