{"id":"https://openalex.org/W4401888219","doi":"https://doi.org/10.3390/computation12090171","title":"Synthesis of Self-Checking Circuits for Train Route Traffic Control at Intermediate Stations with Control of Calculations Based on Weight-Based Sum Codes","display_name":"Synthesis of Self-Checking Circuits for Train Route Traffic Control at Intermediate Stations with Control of Calculations Based on Weight-Based Sum Codes","publication_year":2024,"publication_date":"2024-08-26","ids":{"openalex":"https://openalex.org/W4401888219","doi":"https://doi.org/10.3390/computation12090171"},"language":"en","primary_location":{"id":"doi:10.3390/computation12090171","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computation12090171","pdf_url":"https://www.mdpi.com/2079-3197/12/9/171/pdf?version=1724722290","source":{"id":"https://openalex.org/S2738402919","display_name":"Computation","issn_l":"2079-3197","issn":["2079-3197"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2079-3197/12/9/171/pdf?version=1724722290","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030787850","display_name":"\u0414.\u0412. \u0415\u0444\u0430\u043d\u043e\u0432","orcid":"https://orcid.org/0000-0002-4563-6411"},"institutions":[{"id":"https://openalex.org/I212220629","display_name":"Peter the Great St. Petersburg Polytechnic University","ror":"https://ror.org/02x91aj62","country_code":"RU","type":"education","lineage":["https://openalex.org/I212220629"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Dmitry V. Efanov","raw_affiliation_strings":["Laboratory \u201cIndustrial Stream Data Processing Systems\u201d, Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia","Laboratory \"Industrial Stream Data Processing Systems\", Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia"],"raw_orcid":"https://orcid.org/0000-0002-4563-6411","affiliations":[{"raw_affiliation_string":"Laboratory \u201cIndustrial Stream Data Processing Systems\u201d, Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia","institution_ids":["https://openalex.org/I212220629"]},{"raw_affiliation_string":"Laboratory \"Industrial Stream Data Processing Systems\", Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia","institution_ids":["https://openalex.org/I212220629"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113349532","display_name":"Artyom Valeryevich Pashukov","orcid":null},"institutions":[{"id":"https://openalex.org/I134694890","display_name":"Russian University of Transport","ror":"https://ror.org/05gba0366","country_code":"RU","type":"education","lineage":["https://openalex.org/I134694890"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Artyom V. Pashukov","raw_affiliation_strings":["\u201cAutomation, Remote Control and Communication on Railway Transport\u201d Department, Russian University of Transport, Moscow 127994, Russia","\"Automation, Remote Control and Communication on Railway Transport\" Department, Russian University of Transport, Moscow 127994, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\u201cAutomation, Remote Control and Communication on Railway Transport\u201d Department, Russian University of Transport, Moscow 127994, Russia","institution_ids":["https://openalex.org/I134694890"]},{"raw_affiliation_string":"\"Automation, Remote Control and Communication on Railway Transport\" Department, Russian University of Transport, Moscow 127994, Russia","institution_ids":["https://openalex.org/I134694890"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5093026228","display_name":"Evgenii M. Mikhailiuta","orcid":null},"institutions":[{"id":"https://openalex.org/I212220629","display_name":"Peter the Great St. Petersburg Polytechnic University","ror":"https://ror.org/02x91aj62","country_code":"RU","type":"education","lineage":["https://openalex.org/I212220629"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Evgenii M. Mikhailiuta","raw_affiliation_strings":["Laboratory \u201cIndustrial Stream Data Processing Systems\u201d, Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia","Laboratory \"Industrial Stream Data Processing Systems\", Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory \u201cIndustrial Stream Data Processing Systems\u201d, Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia","institution_ids":["https://openalex.org/I212220629"]},{"raw_affiliation_string":"Laboratory \"Industrial Stream Data Processing Systems\", Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia","institution_ids":["https://openalex.org/I212220629"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002085395","display_name":"Valerii V. Kh\u00f3roshev","orcid":"https://orcid.org/0000-0002-1183-839X"},"institutions":[{"id":"https://openalex.org/I134694890","display_name":"Russian University of Transport","ror":"https://ror.org/05gba0366","country_code":"RU","type":"education","lineage":["https://openalex.org/I134694890"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Valery V. Kh\u00f3roshev","raw_affiliation_strings":["\u201cAutomation, Remote Control and Communication on Railway Transport\u201d Department, Russian University of Transport, Moscow 127994, Russia","\"Automation, Remote Control and Communication on Railway Transport\" Department, Russian University of Transport, Moscow 127994, Russia"],"raw_orcid":"https://orcid.org/0000-0002-1183-839X","affiliations":[{"raw_affiliation_string":"\u201cAutomation, Remote Control and Communication on Railway Transport\u201d Department, Russian University of Transport, Moscow 127994, Russia","institution_ids":["https://openalex.org/I134694890"]},{"raw_affiliation_string":"\"Automation, Remote Control and Communication on Railway Transport\" Department, Russian University of Transport, Moscow 127994, Russia","institution_ids":["https://openalex.org/I134694890"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084915409","display_name":"Ruslan Abdullaev","orcid":"https://orcid.org/0000-0002-2723-083X"},"institutions":[{"id":"https://openalex.org/I126419327","display_name":"Tashkent State Transport University","ror":"https://ror.org/00jxr5c40","country_code":"UZ","type":"education","lineage":["https://openalex.org/I126419327"]}],"countries":["UZ"],"is_corresponding":false,"raw_author_name":"Ruslan B. Abdullaev","raw_affiliation_strings":["\u201cAutomation and Remote Control\u201d Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan","\"Automation and Remote Control\" Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\u201cAutomation and Remote Control\u201d Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan","institution_ids":["https://openalex.org/I126419327"]},{"raw_affiliation_string":"\"Automation and Remote Control\" Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan","institution_ids":["https://openalex.org/I126419327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056647597","display_name":"Dmitry Plotnikov","orcid":"https://orcid.org/0000-0003-1342-1608"},"institutions":[{"id":"https://openalex.org/I212220629","display_name":"Peter the Great St. Petersburg Polytechnic University","ror":"https://ror.org/02x91aj62","country_code":"RU","type":"education","lineage":["https://openalex.org/I212220629"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Dmitry G. Plotnikov","raw_affiliation_strings":["Laboratory \u201cIndustrial Stream Data Processing Systems\u201d, Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia","Laboratory \"Industrial Stream Data Processing Systems\", Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory \u201cIndustrial Stream Data Processing Systems\u201d, Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia","institution_ids":["https://openalex.org/I212220629"]},{"raw_affiliation_string":"Laboratory \"Industrial Stream Data Processing Systems\", Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia","institution_ids":["https://openalex.org/I212220629"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018412650","display_name":"Aushra Banite","orcid":"https://orcid.org/0000-0002-3653-3752"},"institutions":[{"id":"https://openalex.org/I212220629","display_name":"Peter the Great St. Petersburg Polytechnic University","ror":"https://ror.org/02x91aj62","country_code":"RU","type":"education","lineage":["https://openalex.org/I212220629"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Aushra V. Banite","raw_affiliation_strings":["Laboratory \u201cIndustrial Stream Data Processing Systems\u201d, Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia","Laboratory \"Industrial Stream Data Processing Systems\", Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory \u201cIndustrial Stream Data Processing Systems\u201d, Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia","institution_ids":["https://openalex.org/I212220629"]},{"raw_affiliation_string":"Laboratory \"Industrial Stream Data Processing Systems\", Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia","institution_ids":["https://openalex.org/I212220629"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032813041","display_name":"Alexander Leksashov","orcid":null},"institutions":[{"id":"https://openalex.org/I212220629","display_name":"Peter the Great St. Petersburg Polytechnic University","ror":"https://ror.org/02x91aj62","country_code":"RU","type":"education","lineage":["https://openalex.org/I212220629"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Alexander V. Leksashov","raw_affiliation_strings":["Laboratory \u201cIndustrial Stream Data Processing Systems\u201d, Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia","Laboratory \"Industrial Stream Data Processing Systems\", Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory \u201cIndustrial Stream Data Processing Systems\u201d, Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia","institution_ids":["https://openalex.org/I212220629"]},{"raw_affiliation_string":"Laboratory \"Industrial Stream Data Processing Systems\", Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia","institution_ids":["https://openalex.org/I212220629"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106739057","display_name":"Dmitry N. Khomutov","orcid":null},"institutions":[{"id":"https://openalex.org/I212220629","display_name":"Peter the Great St. Petersburg Polytechnic University","ror":"https://ror.org/02x91aj62","country_code":"RU","type":"education","lineage":["https://openalex.org/I212220629"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Dmitry N. Khomutov","raw_affiliation_strings":["Laboratory \u201cIndustrial Stream Data Processing Systems\u201d, Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia","Laboratory \"Industrial Stream Data Processing Systems\", Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory \u201cIndustrial Stream Data Processing Systems\u201d, Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia","institution_ids":["https://openalex.org/I212220629"]},{"raw_affiliation_string":"Laboratory \"Industrial Stream Data Processing Systems\", Higher School of Mechanical Engineering, Material and Transport Institute, Peter the Great St. Petersburg Polytechnic University, St. Petersburg 195251, Russia","institution_ids":["https://openalex.org/I212220629"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009651861","display_name":"Dilshod Baratov","orcid":"https://orcid.org/0000-0002-6115-3321"},"institutions":[{"id":"https://openalex.org/I126419327","display_name":"Tashkent State Transport University","ror":"https://ror.org/00jxr5c40","country_code":"UZ","type":"education","lineage":["https://openalex.org/I126419327"]}],"countries":["UZ"],"is_corresponding":false,"raw_author_name":"Dilshod Kh. Baratov","raw_affiliation_strings":["\u201cAutomation and Remote Control\u201d Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan","\"Automation and Remote Control\" Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\u201cAutomation and Remote Control\u201d Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan","institution_ids":["https://openalex.org/I126419327"]},{"raw_affiliation_string":"\"Automation and Remote Control\" Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan","institution_ids":["https://openalex.org/I126419327"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034379842","display_name":"Davron Kh. Ruziev","orcid":null},"institutions":[{"id":"https://openalex.org/I126419327","display_name":"Tashkent State Transport University","ror":"https://ror.org/00jxr5c40","country_code":"UZ","type":"education","lineage":["https://openalex.org/I126419327"]}],"countries":["UZ"],"is_corresponding":false,"raw_author_name":"Davron Kh. Ruziev","raw_affiliation_strings":["\u201cAutomation and Remote Control\u201d Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan","\"Automation and Remote Control\" Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\u201cAutomation and Remote Control\u201d Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan","institution_ids":["https://openalex.org/I126419327"]},{"raw_affiliation_string":"\"Automation and Remote Control\" Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan","institution_ids":["https://openalex.org/I126419327"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":11,"corresponding_author_ids":["https://openalex.org/A5030787850"],"corresponding_institution_ids":["https://openalex.org/I212220629"],"apc_list":{"value":1400,"currency":"CHF","value_usd":1515},"apc_paid":{"value":1400,"currency":"CHF","value_usd":1515},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11524917,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"12","issue":"9","first_page":"171","last_page":"171"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13935","display_name":"Mathematical Control Systems and Analysis","score":0.26989999413490295,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T13935","display_name":"Mathematical Control Systems and Analysis","score":0.26989999413490295,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.08579999953508377,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.07580000162124634,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/control","display_name":"Control (management)","score":0.5600078105926514},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5060507655143738},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.49459168314933777},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2612810432910919},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.21250048279762268},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09438565373420715}],"concepts":[{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5600078105926514},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5060507655143738},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.49459168314933777},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2612810432910919},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.21250048279762268},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09438565373420715}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3390/computation12090171","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computation12090171","pdf_url":"https://www.mdpi.com/2079-3197/12/9/171/pdf?version=1724722290","source":{"id":"https://openalex.org/S2738402919","display_name":"Computation","issn_l":"2079-3197","issn":["2079-3197"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computation","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:6169856b49e0483f8c5f1bbd855e924a","is_oa":true,"landing_page_url":"https://doaj.org/article/6169856b49e0483f8c5f1bbd855e924a","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computation, Vol 12, Iss 9, p 171 (2024)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/2079-3197/12/9/171/","is_oa":true,"landing_page_url":"https://dx.doi.org/10.3390/computation12090171","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computation","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/computation12090171","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computation12090171","pdf_url":"https://www.mdpi.com/2079-3197/12/9/171/pdf?version=1724722290","source":{"id":"https://openalex.org/S2738402919","display_name":"Computation","issn_l":"2079-3197","issn":["2079-3197"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computation","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3735914387","display_name":null,"funder_award_id":"075-15-2022-311","funder_id":"https://openalex.org/F4320327494","funder_display_name":"Ministry of Science and Higher Education of the Russian Federation"},{"id":"https://openalex.org/G597338630","display_name":null,"funder_award_id":"075-15-2022","funder_id":"https://openalex.org/F4320327494","funder_display_name":"Ministry of Science and Higher Education of the Russian Federation"},{"id":"https://openalex.org/G6444257319","display_name":null,"funder_award_id":"075-15-","funder_id":"https://openalex.org/F4320327494","funder_display_name":"Ministry of Science and Higher Education of the Russian Federation"}],"funders":[{"id":"https://openalex.org/F4320327494","display_name":"Ministry of Science and Higher Education of the Russian Federation","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4401888219.pdf","grobid_xml":"https://content.openalex.org/works/W4401888219.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W2008614914","https://openalex.org/W2039064891","https://openalex.org/W2083098413","https://openalex.org/W2123156138","https://openalex.org/W2154380172","https://openalex.org/W2516193509","https://openalex.org/W2770031873","https://openalex.org/W3020875686","https://openalex.org/W3110516674","https://openalex.org/W3117396746","https://openalex.org/W4214512829","https://openalex.org/W4224290969","https://openalex.org/W4281759743","https://openalex.org/W4311077051","https://openalex.org/W4317107975","https://openalex.org/W4320493731","https://openalex.org/W4379381368","https://openalex.org/W4391182908","https://openalex.org/W6678192023","https://openalex.org/W6849671613"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"When":[0,34,68,293],"synthesizing":[1,89,259,294],"systems":[2],"for":[3,91,146,165],"railway":[4,18,92,115],"interlocking,":[5],"it":[6,301],"is":[7,44,80,197,302],"recommended":[8,303],"to":[9,13,88,136,187,198,282,285,304],"use":[10,73],"automated":[11],"models":[12],"implement":[14,188],"the":[15,38,72,111,122,129,142,151,156,166,169,173,195,200,211,227,230,234,237,244,248,251,274,286,290,306],"logic":[16,231],"of":[17,41,55,57,74,114,131,144,153,168,172,202,223,229,236,250,258,273],"automation":[19,93,116,138],"and":[20,64,76,94,102,117,133,149,176,247,296],"remote":[21,95,118],"control":[22,96,119,174,299],"units.":[23,139],"Finite-state":[24],"machines":[25],"(FSMs)":[26],"can":[27,159,239],"be":[28,160,240],"implemented":[29],"on":[30,216],"any":[31],"hardware":[32],"component.":[33],"using":[35,47,69,206,263],"relay":[36],"technology,":[37],"functional":[39],"safety":[40],"electrical":[42],"interlocking":[43],"achieved":[45],"by":[46,242],"uncontrolled":[48],"(safety)":[49],"relays":[50],"with":[51],"a":[52,85,182,189,203,217],"high":[53],"coefficient":[54],"asymmetry":[56],"failures":[58],"in":[59,210,233,309],"types":[60],"1":[61],"\u2192":[62,66],"0":[63,65],"1.":[67],"programmable":[70],"components,":[71],"backup":[75],"diverse":[77],"protection":[78],"methods":[79],"required.":[81],"This":[82,127,162,253],"paper":[83,254],"presents":[84,255],"flexible":[86],"approach":[87],"FSMs":[90],"units":[97,120],"that":[98],"offer":[99],"both":[100],"individual":[101,147],"route-based":[103],"control.":[104],"Unlike":[105],"existing":[106],"solutions,":[107],"this":[108,193,310],"proposal":[109,196],"considers":[110],"pre-failure":[112],"states":[113,145,152,201],"during":[121],"finite-state":[123,190,204],"machine":[124,205],"synthesis":[125,167],"stage.":[126],"enables":[128],"implementation":[130],"self-checking":[132,295],"self-diagnostic":[134],"modules":[135],"manage":[137],"By":[140],"increasing":[141],"number":[143],"devices":[148],"considering":[150],"interconnected":[154],"objects,":[155],"transition":[157,170],"graphs":[158],"expanded.":[161],"expansion":[163],"allows":[164],"graph":[171],"subsystem":[175],"other":[177],"systems.":[178],"The":[179,220,271],"authors":[180],"used":[181],"field-programmable":[183],"gate":[184],"array":[185],"(FPGA)":[186],"machine.":[191],"In":[192],"case,":[194],"encode":[199],"weight-based":[207,268],"sum":[208,269],"codes":[209],"residue":[212],"class":[213],"ring":[214],"based":[215],"given":[218],"modulus.":[219],"best":[221],"coverage":[222],"errors":[224],"occurring":[225],"at":[226],"outputs":[228],"converter":[232],"structure":[235],"FSM":[238,262],"ensured":[241],"selecting":[243],"weighting":[245],"coefficients":[246],"value":[249],"module.":[252],"an":[256,260],"example":[257],"FPGA-based":[261],"state":[264],"encoding":[265],"through":[266],"modular":[267],"codes.":[270],"operation":[272],"synthesized":[275],"device":[276],"was":[277,280],"modeled.":[278],"It":[279],"found":[281],"operate":[283],"according":[284],"same":[287],"algorithm":[288],"as":[289],"real":[291],"devices.":[292],"self-controlled":[297],"train":[298],"devices,":[300],"consider":[305],"solutions":[307],"proposed":[308],"paper.":[311]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}