{"id":"https://openalex.org/W2899947575","doi":"https://doi.org/10.1109/tsmc.2018.2875726","title":"Diagnosis of Structural and Temporal Faults for $k$ -Bounded Non-Markovian Stochastic Petri Nets","display_name":"Diagnosis of Structural and Temporal Faults for $k$ -Bounded Non-Markovian Stochastic Petri Nets","publication_year":2018,"publication_date":"2018-11-09","ids":{"openalex":"https://openalex.org/W2899947575","doi":"https://doi.org/10.1109/tsmc.2018.2875726","mag":"2899947575"},"language":"en","primary_location":{"id":"doi:10.1109/tsmc.2018.2875726","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2018.2875726","pdf_url":null,"source":{"id":"https://openalex.org/S4210209078","display_name":"IEEE Transactions on Systems Man and Cybernetics Systems","issn_l":"2168-2216","issn":["2168-2216","2168-2232"],"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 Systems, Man, and Cybernetics: 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/A5003454609","display_name":"Dimitri Lefebvre","orcid":"https://orcid.org/0000-0001-7060-756X"},"institutions":[{"id":"https://openalex.org/I141576021","display_name":"Universit\u00e9 Le Havre Normandie","ror":"https://ror.org/05v509s40","country_code":"FR","type":"education","lineage":["https://openalex.org/I141576021","https://openalex.org/I4210105918"]},{"id":"https://openalex.org/I4392021253","display_name":"Groupe de Recherche en Electrotechnique et Automatique du Havre","ror":"https://ror.org/03qcqf034","country_code":"FR","type":"facility","lineage":["https://openalex.org/I141576021","https://openalex.org/I4210105918","https://openalex.org/I4392021253"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Dimitri Lefebvre","raw_affiliation_strings":["GREAH, Universit\u00e9 Le Havre Normandie, Le Havre, France","Groupe de Recherche en Electrotechnique et Automatique du Havre"],"affiliations":[{"raw_affiliation_string":"GREAH, Universit\u00e9 Le Havre Normandie, Le Havre, France","institution_ids":["https://openalex.org/I141576021","https://openalex.org/I4392021253"]},{"raw_affiliation_string":"Groupe de Recherche en Electrotechnique et Automatique du Havre","institution_ids":["https://openalex.org/I4392021253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031749802","display_name":"Sara Rachidi","orcid":"https://orcid.org/0000-0001-9396-5984"},"institutions":[{"id":"https://openalex.org/I141576021","display_name":"Universit\u00e9 Le Havre Normandie","ror":"https://ror.org/05v509s40","country_code":"FR","type":"education","lineage":["https://openalex.org/I141576021","https://openalex.org/I4210105918"]},{"id":"https://openalex.org/I4392021253","display_name":"Groupe de Recherche en Electrotechnique et Automatique du Havre","ror":"https://ror.org/03qcqf034","country_code":"FR","type":"facility","lineage":["https://openalex.org/I141576021","https://openalex.org/I4210105918","https://openalex.org/I4392021253"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Sara Rachidi","raw_affiliation_strings":["GREAH, Universit\u00e9 Le Havre Normandie, Le Havre, France","Groupe de Recherche en Electrotechnique et Automatique du Havre"],"affiliations":[{"raw_affiliation_string":"GREAH, Universit\u00e9 Le Havre Normandie, Le Havre, France","institution_ids":["https://openalex.org/I141576021","https://openalex.org/I4392021253"]},{"raw_affiliation_string":"Groupe de Recherche en Electrotechnique et Automatique du Havre","institution_ids":["https://openalex.org/I4392021253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085647262","display_name":"Edouard Leclercq","orcid":"https://orcid.org/0000-0003-2840-1378"},"institutions":[{"id":"https://openalex.org/I141576021","display_name":"Universit\u00e9 Le Havre Normandie","ror":"https://ror.org/05v509s40","country_code":"FR","type":"education","lineage":["https://openalex.org/I141576021","https://openalex.org/I4210105918"]},{"id":"https://openalex.org/I4392021253","display_name":"Groupe de Recherche en Electrotechnique et Automatique du Havre","ror":"https://ror.org/03qcqf034","country_code":"FR","type":"facility","lineage":["https://openalex.org/I141576021","https://openalex.org/I4210105918","https://openalex.org/I4392021253"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Edouard Leclercq","raw_affiliation_strings":["GREAH, Universit\u00e9 Le Havre Normandie, Le Havre, France","Groupe de Recherche en Electrotechnique et Automatique du Havre"],"affiliations":[{"raw_affiliation_string":"GREAH, Universit\u00e9 Le Havre Normandie, Le Havre, France","institution_ids":["https://openalex.org/I141576021","https://openalex.org/I4392021253"]},{"raw_affiliation_string":"Groupe de Recherche en Electrotechnique et Automatique du Havre","institution_ids":["https://openalex.org/I4392021253"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037237403","display_name":"Yoann Pign\u00e9","orcid":"https://orcid.org/0000-0002-3570-7490"},"institutions":[{"id":"https://openalex.org/I141576021","display_name":"Universit\u00e9 Le Havre Normandie","ror":"https://ror.org/05v509s40","country_code":"FR","type":"education","lineage":["https://openalex.org/I141576021","https://openalex.org/I4210105918"]},{"id":"https://openalex.org/I4210108118","display_name":"Laboratoire d'Informatique, du Traitement de l'Information et des Syst\u00e8mes","ror":"https://ror.org/01f1vfy95","country_code":"FR","type":"facility","lineage":["https://openalex.org/I141576021","https://openalex.org/I4210105918","https://openalex.org/I4210105918","https://openalex.org/I4210105918","https://openalex.org/I4210108118","https://openalex.org/I62396329","https://openalex.org/I88814501"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Yoann Pigne","raw_affiliation_strings":["LITIS, Universit\u00e9 Le Havre Normandie, Le Havre, France","Equipe R\u00e9seaux d'interactions et Intelligence Collective"],"affiliations":[{"raw_affiliation_string":"LITIS, Universit\u00e9 Le Havre Normandie, Le Havre, France","institution_ids":["https://openalex.org/I141576021","https://openalex.org/I4210108118"]},{"raw_affiliation_string":"Equipe R\u00e9seaux d'interactions et Intelligence Collective","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5003454609"],"corresponding_institution_ids":["https://openalex.org/I141576021","https://openalex.org/I4392021253"],"apc_list":null,"apc_paid":null,"fwci":0.8549,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.77213429,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"50","issue":"9","first_page":"3369","last_page":"3381"},"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9940999746322632,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9932000041007996,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8238905072212219},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.7726262807846069},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.7351920008659363},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5899731516838074},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5866065621376038},{"id":"https://openalex.org/keywords/stochastic-process","display_name":"Stochastic process","score":0.5193597078323364},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.47700265049934387},{"id":"https://openalex.org/keywords/rare-events","display_name":"Rare events","score":0.45070359110832214},{"id":"https://openalex.org/keywords/probability-density-function","display_name":"Probability density function","score":0.4167838990688324},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.39464789628982544},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.38654792308807373},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3490838408470154},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32251036167144775},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.09026426076889038},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07734575867652893}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8238905072212219},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.7726262807846069},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.7351920008659363},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5899731516838074},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5866065621376038},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.5193597078323364},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.47700265049934387},{"id":"https://openalex.org/C2777317252","wikidata":"https://www.wikidata.org/wiki/Q18393516","display_name":"Rare events","level":2,"score":0.45070359110832214},{"id":"https://openalex.org/C197055811","wikidata":"https://www.wikidata.org/wiki/Q207522","display_name":"Probability density function","level":2,"score":0.4167838990688324},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39464789628982544},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.38654792308807373},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3490838408470154},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32251036167144775},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.09026426076889038},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07734575867652893},{"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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tsmc.2018.2875726","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2018.2875726","pdf_url":null,"source":{"id":"https://openalex.org/S4210209078","display_name":"IEEE Transactions on Systems Man and Cybernetics Systems","issn_l":"2168-2216","issn":["2168-2216","2168-2232"],"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 Systems, Man, and Cybernetics: Systems","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-02117198v1","is_oa":false,"landing_page_url":"https://hal.science/hal-02117198","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 Systems, Man, and Cybernetics: Systems, 2018, pp.1-13. ⟨10.1109/TSMC.2018.2875726⟩","raw_type":"Journal articles"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W182227077","https://openalex.org/W1495733134","https://openalex.org/W1526031273","https://openalex.org/W1535266875","https://openalex.org/W1579424694","https://openalex.org/W1587663028","https://openalex.org/W1963987835","https://openalex.org/W1966547590","https://openalex.org/W1970575532","https://openalex.org/W1972718196","https://openalex.org/W1985787415","https://openalex.org/W1986755980","https://openalex.org/W1996109622","https://openalex.org/W2006174507","https://openalex.org/W2007588592","https://openalex.org/W2013892611","https://openalex.org/W2015353062","https://openalex.org/W2019970645","https://openalex.org/W2044892885","https://openalex.org/W2045388415","https://openalex.org/W2047055270","https://openalex.org/W2057959989","https://openalex.org/W2078739227","https://openalex.org/W2094370340","https://openalex.org/W2105941398","https://openalex.org/W2108963340","https://openalex.org/W2130675058","https://openalex.org/W2139117911","https://openalex.org/W2158753091","https://openalex.org/W2509841691","https://openalex.org/W2744679886","https://openalex.org/W2783281170","https://openalex.org/W2811280752"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W2081678986","https://openalex.org/W1491709828","https://openalex.org/W2916743419","https://openalex.org/W2381491984","https://openalex.org/W2257573499","https://openalex.org/W2148229336","https://openalex.org/W1980200158","https://openalex.org/W1513546254","https://openalex.org/W2091203523"],"abstract_inverted_index":{"This":[0],"paper":[1],"concerns":[2],"the":[3,28,32,45,81,96,103],"diagnosis":[4],"of":[5,41,59,86,102,116,140],"faults":[6,50,54,70],"for":[7,112,133,142],"stochastic":[8],"discrete":[9],"event":[10],"systems":[11],"that":[12,61,76,107,118],"behave":[13],"according":[14],"to":[15,26,56],"non-Markovian":[16],"dynamics.":[17,46],"k":[18],"-bounded":[19],"partially":[20],"observed":[21],"Petri":[22],"nets":[23],"are":[24,51,71,89],"used":[25,111],"model":[27],"system":[29],"structure":[30],"and":[31,48,145],"sensors.":[33],"Stochastic":[34],"processes":[35],"with":[36,67,73,91,123],"probability":[37,141],"density":[38],"functions":[39],"(pdf)":[40],"finite":[42],"support":[43],"define":[44],"Structural":[47,53],"temporal":[49,146],"considered.":[52],"correspond":[55],"specific":[57],"sequences":[58],"events":[60],"should":[62],"satisfy":[63],"precedence":[64],"conditions":[65],"defined":[66,72,121],"patterns.":[68],"Temporal":[69],"time":[74,135],"constraints":[75,147],"must":[77],"be":[78,110,120],"fulfilled":[79],"by":[80],"firing":[82],"durations.":[83],"The":[84,100],"probabilities":[85],"consistent":[87],"trajectories":[88],"computed":[90],"a":[92,113,127,151],"numerical":[93,128],"scheme":[94,105],"from":[95],"collected":[97],"timed":[98],"measurements.":[99],"advantage":[101],"proposed":[104],"is":[106,148],"it":[108],"can":[109],"large":[114],"variety":[115],"pdf":[117],"may":[119],"either":[122],"an":[124],"analytical":[125],"or":[126],"description.":[129],"It":[130],"works":[131],"also":[132],"various":[134],"semantics.":[136],"Diagnosis":[137],"in":[138],"terms":[139],"faulty":[143],"patterns":[144],"established":[149],"as":[150],"consequence.":[152]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3}],"updated_date":"2026-03-31T07:56:22.981413","created_date":"2025-10-10T00:00:00"}