{"id":"https://openalex.org/W4394586593","doi":"https://doi.org/10.1109/iske60036.2023.10481339","title":"Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments","display_name":"Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments","publication_year":2023,"publication_date":"2023-11-17","ids":{"openalex":"https://openalex.org/W4394586593","doi":"https://doi.org/10.1109/iske60036.2023.10481339"},"language":"en","primary_location":{"id":"doi:10.1109/iske60036.2023.10481339","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/iske60036.2023.10481339","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 18th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","raw_type":"proceedings-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/A5101833075","display_name":"Xia Wang","orcid":"https://orcid.org/0000-0001-8697-3011"},"institutions":[{"id":"https://openalex.org/I4800084","display_name":"Southwest Jiaotong University","ror":"https://ror.org/00hn7w693","country_code":"CN","type":"education","lineage":["https://openalex.org/I4800084"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xia Wang","raw_affiliation_strings":["School of Computing and Artificial Intelligence, Southwest Jiaotong University National- Local Joint Engineering Laboratory of System Credibility Automatic Verification,Chengdu,China","School of Computing and Artificial Intelligence, Southwest Jiaotong University National- Local Joint Engineering Laboratory of System Credibility Automatic Verification, Chengdu, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing and Artificial Intelligence, Southwest Jiaotong University National- Local Joint Engineering Laboratory of System Credibility Automatic Verification,Chengdu,China","institution_ids":["https://openalex.org/I4800084"]},{"raw_affiliation_string":"School of Computing and Artificial Intelligence, Southwest Jiaotong University National- Local Joint Engineering Laboratory of System Credibility Automatic Verification, Chengdu, China","institution_ids":["https://openalex.org/I4800084"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111825232","display_name":"Yang Xu","orcid":null},"institutions":[{"id":"https://openalex.org/I4800084","display_name":"Southwest Jiaotong University","ror":"https://ror.org/00hn7w693","country_code":"CN","type":"education","lineage":["https://openalex.org/I4800084"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yang Xu","raw_affiliation_strings":["School of Mathematics, Southwest Jiaotong University National- Local Joint Engineering Laboratory of System Credibility Automatic Verification,Chengdu,China","School of Mathematics, Southwest Jiaotong University National- Local Joint Engineering Laboratory of System Credibility Automatic Verification, Chengdu, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Mathematics, Southwest Jiaotong University National- Local Joint Engineering Laboratory of System Credibility Automatic Verification,Chengdu,China","institution_ids":["https://openalex.org/I4800084"]},{"raw_affiliation_string":"School of Mathematics, Southwest Jiaotong University National- Local Joint Engineering Laboratory of System Credibility Automatic Verification, Chengdu, China","institution_ids":["https://openalex.org/I4800084"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100361707","display_name":"Jun Liu","orcid":"https://orcid.org/0000-0001-8859-5405"},"institutions":[{"id":"https://openalex.org/I138801177","display_name":"University of Ulster","ror":"https://ror.org/01yp9g959","country_code":"GB","type":"education","lineage":["https://openalex.org/I138801177"]},{"id":"https://openalex.org/I4210156198","display_name":"OGT Amenity (Ireland)","ror":"https://ror.org/056k8rb32","country_code":"IE","type":"company","lineage":["https://openalex.org/I4210156198"]}],"countries":["GB","IE"],"is_corresponding":false,"raw_author_name":"Jun Liu","raw_affiliation_strings":["School of Computing, Ulster University,Northern Ireland,BT37 0QB"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing, Ulster University,Northern Ireland,BT37 0QB","institution_ids":["https://openalex.org/I138801177","https://openalex.org/I4210156198"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048656618","display_name":"Guanfeng Wu","orcid":"https://orcid.org/0000-0001-8449-974X"},"institutions":[{"id":"https://openalex.org/I4800084","display_name":"Southwest Jiaotong University","ror":"https://ror.org/00hn7w693","country_code":"CN","type":"education","lineage":["https://openalex.org/I4800084"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guanfeng Wu","raw_affiliation_strings":["School of Mathematics, Southwest Jiaotong University National- Local Joint Engineering Laboratory of System Credibility Automatic Verification,Chengdu,China","School of Mathematics, Southwest Jiaotong University National- Local Joint Engineering Laboratory of System Credibility Automatic Verification, Chengdu, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Mathematics, Southwest Jiaotong University National- Local Joint Engineering Laboratory of System Credibility Automatic Verification,Chengdu,China","institution_ids":["https://openalex.org/I4800084"]},{"raw_affiliation_string":"School of Mathematics, Southwest Jiaotong University National- Local Joint Engineering Laboratory of System Credibility Automatic Verification, Chengdu, China","institution_ids":["https://openalex.org/I4800084"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101938920","display_name":"Shuwei Chen","orcid":"https://orcid.org/0009-0005-3182-1914"},"institutions":[{"id":"https://openalex.org/I4800084","display_name":"Southwest Jiaotong University","ror":"https://ror.org/00hn7w693","country_code":"CN","type":"education","lineage":["https://openalex.org/I4800084"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shuwei Chen","raw_affiliation_strings":["School of Mathematics, Southwest Jiaotong University National- Local Joint Engineering Laboratory of System Credibility Automatic Verification,Chengdu,China","School of Mathematics, Southwest Jiaotong University National- Local Joint Engineering Laboratory of System Credibility Automatic Verification, Chengdu, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Mathematics, Southwest Jiaotong University National- Local Joint Engineering Laboratory of System Credibility Automatic Verification,Chengdu,China","institution_ids":["https://openalex.org/I4800084"]},{"raw_affiliation_string":"School of Mathematics, Southwest Jiaotong University National- Local Joint Engineering Laboratory of System Credibility Automatic Verification, Chengdu, China","institution_ids":["https://openalex.org/I4800084"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.24082627,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"63","issue":null,"first_page":"450","last_page":"457"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13601","display_name":"Urban Transport Systems Analysis","score":0.9023000001907349,"subfield":{"id":"https://openalex.org/subfields/2205","display_name":"Civil and Structural 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/T13601","display_name":"Urban Transport Systems Analysis","score":0.9023000001907349,"subfield":{"id":"https://openalex.org/subfields/2205","display_name":"Civil and Structural Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11568","display_name":"Railway Systems and Energy Efficiency","score":0.9010999798774719,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing 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/train","display_name":"Train","score":0.7611411809921265},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6753032207489014}],"concepts":[{"id":"https://openalex.org/C190839683","wikidata":"https://www.wikidata.org/wiki/Q2448197","display_name":"Train","level":2,"score":0.7611411809921265},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6753032207489014},{"id":"https://openalex.org/C58640448","wikidata":"https://www.wikidata.org/wiki/Q42515","display_name":"Cartography","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iske60036.2023.10481339","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/iske60036.2023.10481339","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 18th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4165088222","display_name":null,"funder_award_id":"61976130,62366017","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"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1587990038","https://openalex.org/W1985804037","https://openalex.org/W2007561241","https://openalex.org/W2018568588","https://openalex.org/W2022904821","https://openalex.org/W2061519380","https://openalex.org/W2066374160","https://openalex.org/W2080593426","https://openalex.org/W2111445678","https://openalex.org/W2124661182","https://openalex.org/W2344139588","https://openalex.org/W2470125985","https://openalex.org/W2601186135","https://openalex.org/W2607091646","https://openalex.org/W2791064931","https://openalex.org/W2896534548","https://openalex.org/W2945607852","https://openalex.org/W2994232456","https://openalex.org/W3027838309","https://openalex.org/W3101770793","https://openalex.org/W3109226628","https://openalex.org/W3135542480","https://openalex.org/W3174421648","https://openalex.org/W4225968144","https://openalex.org/W4285222694","https://openalex.org/W4319792528"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W618248309","https://openalex.org/W2377336366","https://openalex.org/W1568097102","https://openalex.org/W1601203902","https://openalex.org/W2075798043","https://openalex.org/W4390419160","https://openalex.org/W4225671779","https://openalex.org/W2102464536"],"abstract_inverted_index":{"Ensuring":[0],"the":[1,4,19,37,41,51,62,81,92,109,113,123,141,166,169,178,183,191],"safety":[2,73],"of":[3,112,147,182],"following":[5,83],"operation":[6,84],"under":[7,23],"moving":[8],"block":[9],"signal":[10],"is":[11,28,89,149],"very":[12],"important":[13],"for":[14,60,103,122,168],"safe":[15],"operation.":[16],"Now":[17],"that":[18,65],"Train":[20],"Control":[21],"system":[22,64,124,135],"Moving":[24],"Block":[25],"Signal":[26],"(TC-MBS)":[27],"a":[29,99,119,145],"distributed,":[30],"complex,":[31],"dynamic,":[32],"and":[33,49,71,126,137,180,202],"highly":[34],"interactive":[35],"system,":[36],"proposed":[38],"method":[39],"uses":[40],"Multi-Agent":[42],"System":[43],"(MAS)":[44],"technique":[45],"to":[46,107,129,151,176],"design,":[47,136],"model,":[48,162],"analyse":[50],"TC-MBS":[52,63,114,192],"system.":[53,115],"This":[54],"paper":[55],"describes":[56],"implementing":[57],"formal":[58],"methods":[59],"modelling":[61,101,190],"operates":[66],"in":[67,85,198],"an":[68,86,199],"uncertain":[69,87,200],"environment":[70,88,201],"its":[72],"verification":[74,204],"based":[75],"on":[76,189],"model":[77,111,154,170],"checking":[78],"techniques.":[79],"First,":[80],"multi-mode":[82],"analysed":[90],"using":[91],"decision":[93],"table":[94],"technique.":[95],"Second,":[96],"we":[97],"introduce":[98],"creative":[100],"approach":[102],"MAS":[104],"called":[105],"UML-MAS":[106,116,153],"build":[108],"semi-formal":[110],"acts":[117],"as":[118,165],"standard":[120],"interface":[121],"designers":[125],"infrastructure":[127],"managers":[128],"increase":[130],"their":[131,203],"requirement":[132],"comprehension,":[133],"analysis,":[134],"scheme":[138],"planning":[139],"at":[140],"conceptual":[142],"level.":[143],"Thirdly,":[144],"set":[146],"rules":[148],"suggested":[150,184],"convert":[152],"into":[155],"Vector-based":[156],"Interpreted":[157],"Systems":[158],"Programming":[159],"Language":[160],"(VISPL)":[161],"which":[163],"serves":[164],"input":[167],"checker":[171],"MCMAS-":[172,206],"T.":[173],"In":[174],"order":[175],"demonstrate":[177],"practicality":[179],"effectiveness":[181],"approach,":[185],"some":[186],"case":[187],"studies":[188],"systems":[193],"while":[194],"considering":[195],"various":[196],"scenarios":[197],"employing":[205],"Tare":[207],"presented.":[208]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}