{"id":"https://openalex.org/W3032531176","doi":"https://doi.org/10.1109/tits.2020.2993794","title":"Automatic Generation of Route Control Chart From Validated Signal Interlocking Plan","display_name":"Automatic Generation of Route Control Chart From Validated Signal Interlocking Plan","publication_year":2020,"publication_date":"2020-05-25","ids":{"openalex":"https://openalex.org/W3032531176","doi":"https://doi.org/10.1109/tits.2020.2993794","mag":"3032531176"},"language":"en","primary_location":{"id":"doi:10.1109/tits.2020.2993794","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tits.2020.2993794","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/A5101536864","display_name":"Arindam Das","orcid":"https://orcid.org/0000-0003-2310-7954"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Arindam Das","raw_affiliation_strings":["Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India"],"raw_orcid":"https://orcid.org/0000-0003-2310-7954","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103033133","display_name":"Manoj Kumar Gangwar","orcid":"https://orcid.org/0000-0002-1550-1161"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Manoj Kumar Gangwar","raw_affiliation_strings":["Department of Advanced Technology Development Centre, Indian Institute of Technology Kharagpur, Kharagpur, India"],"raw_orcid":"https://orcid.org/0000-0002-1550-1161","affiliations":[{"raw_affiliation_string":"Department of Advanced Technology Development Centre, Indian Institute of Technology Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057837768","display_name":"Devleena Ghosh","orcid":"https://orcid.org/0000-0002-1110-1259"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Devleena Ghosh","raw_affiliation_strings":["Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India"],"raw_orcid":"https://orcid.org/0000-0002-1110-1259","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027424392","display_name":"Chittaranjan Mandal","orcid":"https://orcid.org/0000-0002-5228-7002"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Chittaranjan Mandal","raw_affiliation_strings":["Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India"],"raw_orcid":"https://orcid.org/0000-0002-5228-7002","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070024088","display_name":"Anirban Sengupta","orcid":"https://orcid.org/0000-0002-6239-256X"},"institutions":[{"id":"https://openalex.org/I2803054517","display_name":"South Eastern Railway","ror":"https://ror.org/00jsbh426","country_code":"IN","type":"government","lineage":["https://openalex.org/I2803054517"]},{"id":"https://openalex.org/I4405266058","display_name":"Indian Railways","ror":"https://ror.org/000hr8046","country_code":"IN","type":"government","lineage":["https://openalex.org/I2799351866","https://openalex.org/I4405266058"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Anirban Sengupta","raw_affiliation_strings":["South Eastern Railways, Indian Railways, Kolkata, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"South Eastern Railways, Indian Railways, Kolkata, India","institution_ids":["https://openalex.org/I2803054517","https://openalex.org/I4405266058"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060742630","display_name":"M. Mubashshir Waris","orcid":"https://orcid.org/0000-0002-8329-4432"},"institutions":[{"id":"https://openalex.org/I2799538346","display_name":"Research Design And Standards Organization","ror":"https://ror.org/01d47cz35","country_code":"IN","type":"government","lineage":["https://openalex.org/I2799538346"]},{"id":"https://openalex.org/I4405266058","display_name":"Indian Railways","ror":"https://ror.org/000hr8046","country_code":"IN","type":"government","lineage":["https://openalex.org/I2799351866","https://openalex.org/I4405266058"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"M. Mubashshir Waris","raw_affiliation_strings":["Research Design and Standards Organisation, Indian Railways, Kolkata, India"],"raw_orcid":"https://orcid.org/0000-0002-8329-4432","affiliations":[{"raw_affiliation_string":"Research Design and Standards Organisation, Indian Railways, Kolkata, India","institution_ids":["https://openalex.org/I2799538346","https://openalex.org/I4405266058"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4102,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.69738297,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"22","issue":"10","first_page":"6516","last_page":"6525"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9922999739646912,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9837999939918518,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/notation","display_name":"Notation","score":0.71677166223526},{"id":"https://openalex.org/keywords/interlocking","display_name":"Interlocking","score":0.6312364935874939},{"id":"https://openalex.org/keywords/yard","display_name":"Yard","score":0.5029951930046082},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.45905932784080505},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4560707211494446},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.35785675048828125},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.19176942110061646},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.19052276015281677}],"concepts":[{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.71677166223526},{"id":"https://openalex.org/C2778844933","wikidata":"https://www.wikidata.org/wiki/Q630950","display_name":"Interlocking","level":2,"score":0.6312364935874939},{"id":"https://openalex.org/C94026978","wikidata":"https://www.wikidata.org/wiki/Q482798","display_name":"Yard","level":2,"score":0.5029951930046082},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.45905932784080505},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4560707211494446},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35785675048828125},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.19176942110061646},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.19052276015281677},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tits.2020.2993794","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tits.2020.2993794","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":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W218520390","https://openalex.org/W1489391022","https://openalex.org/W2005206924","https://openalex.org/W2041268715","https://openalex.org/W2077069532","https://openalex.org/W2084923054","https://openalex.org/W2100545609","https://openalex.org/W2112614370","https://openalex.org/W2123156138","https://openalex.org/W2207157182","https://openalex.org/W2351701742","https://openalex.org/W2952456316","https://openalex.org/W3040865615","https://openalex.org/W6675282151","https://openalex.org/W6678192023"],"related_works":["https://openalex.org/W2287710223","https://openalex.org/W3094364298","https://openalex.org/W2514536182","https://openalex.org/W770489747","https://openalex.org/W2351254323","https://openalex.org/W618039210","https://openalex.org/W2470487523","https://openalex.org/W2366158635","https://openalex.org/W4319430794","https://openalex.org/W2207157182"],"abstract_inverted_index":{"Railway":[0],"signalling":[1,23],"is":[2,25,45],"a":[3,17,46],"complex":[4],"and":[5,14,31,60,77,108,167,198,201,204,210],"safety":[6,211],"critical":[7],"problem":[8],"that":[9],"has":[10],"been":[11,231],"extensively":[12],"studied":[13],"standardised":[15],"over":[16],"long":[18],"period":[19],"of":[20,56,64,100,159,164,176,183,224],"time.":[21],"The":[22,227],"equipment":[24],"typically":[26],"procured":[27],"from":[28,126],"standard":[29],"vendors":[30],"configured":[32],"with":[33],"yard":[34,51,165,208],"specific":[35],"application":[36,158],"logic":[37,178],"for":[38,71,180],"which":[39],"the":[40,50,54,62,79,123,127,146,220],"route":[41],"control":[42],"chart":[43],"(RCC)":[44],"key":[47],"input.":[48],"As":[49],"size":[52],"increases,":[53],"number":[55],"routes":[57],"also":[58,202],"increases":[59,67],"accordingly":[61],"difficulty":[63],"RCC":[65,69,124,192],"preparation":[66,70],"rapidly.":[68],"big":[72],"yards":[73],"may":[74],"take":[75],"months":[76],"affects":[78],"project":[80],"deadlines":[81],"adversely.":[82],"In":[83],"this":[84,225],"work":[85],"we":[86],"report":[87],"computational":[88],"procedures":[89,132],"to":[90],"address:":[91],"<inline-formula":[92,115,138,151,168],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[93,116,139,152,169],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">":[94,117,140,153,170],"<tex-math":[95,118,141,154,171],"notation=\"LaTeX\">$a$":[96],"</tex-math></inline-formula>":[97,120,143,156,173],")":[98,121,144,157,174],"capturing":[99],"signal":[101],"interlocking":[102,185],"plan":[103],"(SIP)":[104],"given":[105],"on":[106,134,215,234],"paper":[107],"storing":[109,145],"it":[110],"using":[111],"suitable":[112],"data":[113],"structures,":[114],"notation=\"LaTeX\">$b$":[119],"generating":[122],"automatically":[125],"captured":[128],"SIP":[129,147],"supported":[130],"by":[131],"based":[133,214],"graph":[135,216],"theoretic":[136,217],"formulation,":[137],"notation=\"LaTeX\">$c$":[142],"graphically":[148],"in":[149],"memory,":[150],"notation=\"LaTeX\">$d$":[155],"formal":[160,181],"methods":[161],"towards":[162,191],"validation":[163,203],"structure":[166],"notation=\"LaTeX\">$e$":[172],"generation":[175,213],"temporal":[177],"properties":[179],"verification":[182,205],"electronic":[184],"(EI)":[186],"logic.":[187],"Several":[188],"important":[189],"steps":[190],"generation,":[193],"such":[194],"as":[195],"conflict":[196],"identification":[197],"isolation":[199],"determination":[200],"(V&V)":[206],"covering":[207],"layout":[209],"property":[212],"modelling":[218],"are":[219],"most":[221],"interesting":[222],"aspect":[223],"work.":[226],"described":[228],"techniques":[229],"have":[230],"tested":[232],"successfully":[233],"many":[235],"actual":[236],"yards.":[237]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-25T17:18:41.151588","created_date":"2025-10-10T00:00:00"}