{"id":"https://openalex.org/W2274141587","doi":"https://doi.org/10.1109/tits.2015.2478910","title":"Model-Based Diagnosis of Multi-Track Level Crossing Plants","display_name":"Model-Based Diagnosis of Multi-Track Level Crossing Plants","publication_year":2015,"publication_date":"2015-11-18","ids":{"openalex":"https://openalex.org/W2274141587","doi":"https://doi.org/10.1109/tits.2015.2478910","mag":"2274141587"},"language":"en","primary_location":{"id":"doi:10.1109/tits.2015.2478910","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tits.2015.2478910","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/A5041390104","display_name":"Baisi Liu","orcid":"https://orcid.org/0000-0002-7441-0534"},"institutions":[{"id":"https://openalex.org/I4210106625","display_name":"National Institute of Transport","ror":"https://ror.org/01g454487","country_code":"TZ","type":"education","lineage":["https://openalex.org/I4210106625"]}],"countries":["TZ"],"is_corresponding":true,"raw_author_name":"Baisi Liu","raw_affiliation_strings":["French Institute of Science and Technology for Transport, Development and Networks (IFSTTAR), Universit\u00e9 Lille Nord de France, Villeneuve-d'Ascq, France","\u00c9valuation des Syst\u00e8mes de Transports Automatis\u00e9s et de leur S\u00e9curit\u00e9"],"affiliations":[{"raw_affiliation_string":"French Institute of Science and Technology for Transport, Development and Networks (IFSTTAR), Universit\u00e9 Lille Nord de France, Villeneuve-d'Ascq, France","institution_ids":["https://openalex.org/I4210106625"]},{"raw_affiliation_string":"\u00c9valuation des Syst\u00e8mes de Transports Automatis\u00e9s et de leur S\u00e9curit\u00e9","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009196110","display_name":"Mohamed Ghazel","orcid":"https://orcid.org/0000-0002-1160-7997"},"institutions":[{"id":"https://openalex.org/I4210106625","display_name":"National Institute of Transport","ror":"https://ror.org/01g454487","country_code":"TZ","type":"education","lineage":["https://openalex.org/I4210106625"]}],"countries":["TZ"],"is_corresponding":false,"raw_author_name":"Mohamed Ghazel","raw_affiliation_strings":["French Institute of Science and Technology for Transport, Development and Networks (IFSTTAR), Universit\u00e9 Lille Nord de France, Villeneuve-d'Ascq, France","\u00c9valuation des Syst\u00e8mes de Transports Automatis\u00e9s et de leur S\u00e9curit\u00e9"],"affiliations":[{"raw_affiliation_string":"French Institute of Science and Technology for Transport, Development and Networks (IFSTTAR), Universit\u00e9 Lille Nord de France, Villeneuve-d'Ascq, France","institution_ids":["https://openalex.org/I4210106625"]},{"raw_affiliation_string":"\u00c9valuation des Syst\u00e8mes de Transports Automatis\u00e9s et de leur S\u00e9curit\u00e9","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057406137","display_name":"Armand Toguy\u00e9ni","orcid":"https://orcid.org/0000-0001-6792-1638"},"institutions":[{"id":"https://openalex.org/I59807433","display_name":"Universit\u00e9 Lille Nord de France","ror":"https://ror.org/03btvgn05","country_code":"FR","type":"education","lineage":["https://openalex.org/I59807433"]},{"id":"https://openalex.org/I4387153239","display_name":"Centre de Recherche en Informatique, Signal et Automatique de Lille","ror":"https://ror.org/05vrs3189","country_code":null,"type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2279609970","https://openalex.org/I4387153239","https://openalex.org/I7454413"]},{"id":"https://openalex.org/I7454413","display_name":"\u00c9cole Centrale de Lille","ror":"https://ror.org/01x441g73","country_code":"FR","type":"education","lineage":["https://openalex.org/I7454413"]},{"id":"https://openalex.org/I4210115519","display_name":"Centre de Recherche en Informatique","ror":"https://ror.org/020cdve92","country_code":"FR","type":"facility","lineage":["https://openalex.org/I190752583","https://openalex.org/I2746051580","https://openalex.org/I4210091621","https://openalex.org/I4210115519","https://openalex.org/I70768539"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Armand Toguyeni","raw_affiliation_strings":["Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL), \u00c9cole Centrale de Lille/Universit\u00e9 Lille Nord de France, Villeneuve-d'Ascq, France","Centrale Lille"],"affiliations":[{"raw_affiliation_string":"Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL), \u00c9cole Centrale de Lille/Universit\u00e9 Lille Nord de France, Villeneuve-d'Ascq, France","institution_ids":["https://openalex.org/I4210115519","https://openalex.org/I59807433","https://openalex.org/I7454413","https://openalex.org/I4387153239"]},{"raw_affiliation_string":"Centrale Lille","institution_ids":["https://openalex.org/I7454413"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5041390104"],"corresponding_institution_ids":["https://openalex.org/I4210106625"],"apc_list":null,"apc_paid":null,"fwci":8.0272,"has_fulltext":false,"cited_by_count":47,"citation_normalized_percentile":{"value":0.98009652,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"17","issue":"2","first_page":"546","last_page":"556"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","score":0.9976999759674072,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7344053387641907},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.6751645803451538},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6313934326171875},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.569078266620636},{"id":"https://openalex.org/keywords/combinatorial-explosion","display_name":"Combinatorial explosion","score":0.5675492882728577},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5173951387405396},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5173846483230591},{"id":"https://openalex.org/keywords/originality","display_name":"Originality","score":0.44859564304351807},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4248577356338501},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.384344220161438},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3213672339916229},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2923409342765808},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.22331500053405762},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.19196340441703796},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17754721641540527}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7344053387641907},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.6751645803451538},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6313934326171875},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.569078266620636},{"id":"https://openalex.org/C115908005","wikidata":"https://www.wikidata.org/wiki/Q2668364","display_name":"Combinatorial explosion","level":2,"score":0.5675492882728577},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5173951387405396},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5173846483230591},{"id":"https://openalex.org/C2776950860","wikidata":"https://www.wikidata.org/wiki/Q2914681","display_name":"Originality","level":3,"score":0.44859564304351807},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4248577356338501},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.384344220161438},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3213672339916229},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2923409342765808},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.22331500053405762},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.19196340441703796},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17754721641540527},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C11012388","wikidata":"https://www.wikidata.org/wiki/Q170658","display_name":"Creativity","level":2,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tits.2015.2478910","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tits.2015.2478910","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"},{"id":"pmh:oai:HAL:hal-01279254v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01279254","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Intelligent Transportation Systems, 2016, 17 (2), p546 - 556. ⟨10.1109/TITS.2015.2478910⟩","raw_type":"Journal articles"},{"id":"pmh:oai:HAL:hal-01740378v1","is_oa":false,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-01740378","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 1524-9050","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322727","display_name":"Minist\u00e8re de l'Education Nationale, de l'Enseignement Superieur et de la Recherche","ror":"https://ror.org/03sjk9a61"},{"id":"https://openalex.org/F4320322892","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1558735945","https://openalex.org/W1599827238","https://openalex.org/W1979100315","https://openalex.org/W1985787415","https://openalex.org/W2018468650","https://openalex.org/W2026294803","https://openalex.org/W2047039024","https://openalex.org/W2070996046","https://openalex.org/W2115247115","https://openalex.org/W2117558445","https://openalex.org/W2121661066","https://openalex.org/W2126266025","https://openalex.org/W2130114202","https://openalex.org/W2162150860","https://openalex.org/W2164016514","https://openalex.org/W2394581041","https://openalex.org/W6712037830"],"related_works":["https://openalex.org/W2057373567","https://openalex.org/W2294256896","https://openalex.org/W2154888955","https://openalex.org/W2062420902","https://openalex.org/W2062463517","https://openalex.org/W1492717267","https://openalex.org/W2104910381","https://openalex.org/W2070996046","https://openalex.org/W1965790781","https://openalex.org/W2117382626"],"abstract_inverted_index":{"As":[0],"is":[1,23,104,129,189,231],"witnessed":[2],"by":[3],"railway":[4,19],"statistics,":[5],"level":[6],"crossing":[7],"(LC)":[8],"safety":[9,22,255],"has":[10,109],"always":[11],"been":[12,110],"one":[13],"of":[14,67,154,168,196,222,238,263],"the":[15,27,38,65,75,91,97,101,113,145,152,166,174,197,209,239,264,272,282],"major":[16],"concerns":[17],"for":[18,40,117,151],"stakeholders.":[20],"LC":[21,54,254,284],"an":[24,61,248],"issue":[25],"at":[26,78],"crossroads":[28],"between":[29],"technical":[30,50],"aspects,":[31],"operational":[32],"procedures,":[33],"and":[34,100,121,193,246],"human":[35],"factors,":[36],"making":[37,204],"search":[39],"effective":[41],"solutions":[42],"a":[43,84,126,182,235,260],"challenging":[44],"task.":[45],"This":[46],"paper":[47],"deals":[48],"with":[49,134],"aspects":[51],"related":[52],"to":[53,64,132,164,207,243,253],"safety.":[55],"In":[56,81,180,267],"particular,":[57,181,268],"we":[58,185,269],"carry":[59],"out":[60],"analysis":[62,195,274],"pertaining":[63,252],"diagnosability":[66,167,245,273],"two":[68,169],"main":[69],"failure":[70,171],"classes":[71],"that":[72,184],"can":[73,276],"affect":[74],"protection":[76],"system":[77,93],"automatic":[79],"LCs.":[80,219],"this":[82,223],"paper,":[83],"labeled":[85],"Petri":[86,107],"net":[87,108],"behavioral":[88],"model":[89,198],"depicting":[90],"global":[92,283],"function,":[94],"including":[95],"both":[96],"normal":[98],"operation":[99],"faulty":[102],"behavior,":[103],"first":[105],"established.":[106],"used":[111],"as":[112],"modeling":[114],"formalism":[115],"mainly":[116],"its":[118],"mathematical":[119,127],"foundations":[120],"expressiveness":[122],"capabilities.":[123],"Using":[124],"such":[125],"notation":[128],"highly":[130],"recommended":[131],"deal":[133],"dependability":[135],"issues":[136],"in":[137,141,233,281],"safety-critical":[138],"systems,":[139],"particularly":[140,215],"railways.":[142],"Based":[143],"on":[144,191,259],"established":[146],"model,":[147],"different":[148],"model-based":[149,228],"approaches":[150,230],"diagnosis":[153,229],"discrete":[155],"event":[156],"systems":[157],"(DESs)":[158],"will":[159,177],"be":[160,178,277],"brought":[161],"into":[162,279],"play":[163],"investigate":[165],"considered":[170],"classes,":[172],"whereas":[173],"obtained":[175,265],"results":[176],"compared.":[179],"technique":[183,224],"have":[186],"established,":[187],"which":[188,213],"based":[190,258],"on-the-fly":[192],"incremental":[194],"state":[199,240],"space,":[200],"shows":[201],"interesting":[202],"efficiency,":[203],"it":[205],"possible":[206],"tackle":[208],"combinatorial":[210],"explosion":[211],"problem,":[212],"arises":[214],"when":[216],"considering":[217],"multi-track":[218],"The":[220],"originality":[221],"w.r.t.":[225],"existing":[226],"DES":[227],"that,":[232],"general,":[234],"partial":[236],"building/investigation":[237],"space":[241],"suffices":[242],"decide":[244],"build":[247],"online":[249],"diagnoser.":[250],"Findings":[251],"are":[256],"drawn":[257],"thorough":[261],"discussion":[262],"results.":[266],"show":[270],"how":[271],"outputs":[275],"taken":[278],"account":[280],"risk":[285],"assessment":[286],"process.":[287]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":8},{"year":2017,"cited_by_count":11},{"year":2016,"cited_by_count":3}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}