{"id":"https://openalex.org/W2572600004","doi":"https://doi.org/10.3233/978-1-61499-672-9-1718","title":"Fault Manifestability Verification for Discrete Event Systems","display_name":"Fault Manifestability Verification for Discrete Event Systems","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2572600004","doi":"https://doi.org/10.3233/978-1-61499-672-9-1718","mag":"2572600004"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-61499-672-9-1718","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-61499-672-9-1718","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.3233/978-1-61499-672-9-1718","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055773964","display_name":"Lina Ye","orcid":"https://orcid.org/0000-0002-2217-4752"},"institutions":[{"id":"https://openalex.org/I4210107720","display_name":"CentraleSup\u00e9lec","ror":"https://ror.org/019tcpt25","country_code":"FR","type":"facility","lineage":["https://openalex.org/I277688954","https://openalex.org/I4210107720"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Ye Lina","raw_affiliation_strings":["Mod\u00e9lisation h\u00e9t\u00e9rog\u00e8ne (LRI)","CentraleSup\u00e9lec"],"affiliations":[{"raw_affiliation_string":"Mod\u00e9lisation h\u00e9t\u00e9rog\u00e8ne (LRI)","institution_ids":[]},{"raw_affiliation_string":"CentraleSup\u00e9lec","institution_ids":["https://openalex.org/I4210107720"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057069790","display_name":"Philippe Dague","orcid":"https://orcid.org/0000-0003-1679-0804"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dague Philippe","raw_affiliation_strings":["Donn\u00e9es et Connaissances Massives et H\u00e9t\u00e9rog\u00e8nes (LRI)"],"affiliations":[{"raw_affiliation_string":"Donn\u00e9es et Connaissances Massives et H\u00e9t\u00e9rog\u00e8nes (LRI)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056303418","display_name":"Delphine Longuet","orcid":"https://orcid.org/0000-0002-8394-276X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Longuet Delphine","raw_affiliation_strings":["V\u00e9rification d'Algorithmes, Langages et Syst\u00e8mes (LRI)"],"affiliations":[{"raw_affiliation_string":"V\u00e9rification d'Algorithmes, Langages et Syst\u00e8mes (LRI)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036298038","display_name":"Laura Brand\u00e1n Briones","orcid":null},"institutions":[{"id":"https://openalex.org/I166401450","display_name":"Universidad Nacional de C\u00f3rdoba","ror":"https://ror.org/056tb7j80","country_code":"AR","type":"education","lineage":["https://openalex.org/I166401450"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Brandán Briones Laura","raw_affiliation_strings":["Universidad Nacional de C\u00f3rdoba [Argentina]"],"affiliations":[{"raw_affiliation_string":"Universidad Nacional de C\u00f3rdoba [Argentina]","institution_ids":["https://openalex.org/I166401450"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072518922","display_name":"Agnes Madalinski","orcid":null},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke University Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Madalinski Agnes","raw_affiliation_strings":["Otto-von-Guericke-Universit\u00e4t Magdeburg = Otto-von-Guericke University [Magdeburg]"],"affiliations":[{"raw_affiliation_string":"Otto-von-Guericke-Universit\u00e4t Magdeburg = Otto-von-Guericke University [Magdeburg]","institution_ids":["https://openalex.org/I95793202"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5055773964"],"corresponding_institution_ids":["https://openalex.org/I4210107720"],"apc_list":null,"apc_paid":null,"fwci":1.2552,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.83027073,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9876000285148621,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.982200026512146,"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/fault","display_name":"Fault (geology)","score":0.5773212909698486},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5597328543663025},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5509389042854309},{"id":"https://openalex.org/keywords/discrete-event-simulation","display_name":"Discrete event simulation","score":0.4237644672393799},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3778746724128723},{"id":"https://openalex.org/keywords/seismology","display_name":"Seismology","score":0.2194301187992096},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1682058572769165},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.16255855560302734},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.1058976948261261},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.08765918016433716}],"concepts":[{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.5773212909698486},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5597328543663025},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5509389042854309},{"id":"https://openalex.org/C147203929","wikidata":"https://www.wikidata.org/wiki/Q574814","display_name":"Discrete event simulation","level":2,"score":0.4237644672393799},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3778746724128723},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.2194301187992096},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1682058572769165},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.16255855560302734},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.1058976948261261},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.08765918016433716},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3233/978-1-61499-672-9-1718","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-61499-672-9-1718","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},{"id":"pmh:oai:rdu.unc.edu.ar:11086/548025","is_oa":true,"landing_page_url":"http://hdl.handle.net/11086/548025","pdf_url":"https://rdu.unc.edu.ar/bitstreams/626fbdc1-7d91-4068-9edd-f4323a1c5664/download","source":{"id":"https://openalex.org/S4306400373","display_name":"Repositorio Digital de la UNC (National University of Cordoba)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I166401450","host_organization_name":"Universidad Nacional de C\u00f3rdoba","host_organization_lineage":["https://openalex.org/I166401450"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"e-ISSN: 1879-8314","raw_type":"Fil: Fil: Ye, Lina. Universit\u00e9 Paris-Saclay. CentraleSup\u00e9lec; France."},{"id":"pmh:oai:HAL:hal-01483424v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01483424","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":"22nd European Conference on Artificial Intelligence ECAI-16, Aug 2016, La Haye, Netherlands. pp.1718-1719, ⟨10.3233/978-1-61499-672-9-1718⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"doi:10.3233/978-1-61499-672-9-1718","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-61499-672-9-1718","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"sustainable_development_goals":[{"score":0.5899999737739563,"display_name":"Climate action","id":"https://metadata.un.org/sdg/13"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Fault":[0],"diagnosis":[1],"is":[2,45,62,70],"a":[3,23,33,46,67,83,100],"crucial":[4],"and":[5,96,108],"challenging":[6],"task":[7],"in":[8,77],"the":[9,19,27,41,91],"automatic":[10],"control":[11],"of":[12,22,55],"complex":[13],"systems,":[14],"whose":[15],"efficiency":[16],"depends":[17],"on":[18,40,94,104],"diagnosability":[20],"property":[21,49,86],"system.":[24],"Diagnosability":[25],"describes":[26],"system":[28,69,85],"ability":[29],"to":[30,57,102,123],"determine":[31],"whether":[32],"given":[34],"fault":[35,106],"has":[36],"effectively":[37],"occurred":[38],"based":[39],"observations.":[42],"However,":[43],"this":[44,75,78],"very":[47],"strong":[48],"that":[50,65,89],"requires":[51],"generally":[52],"high":[53],"number":[54],"sensors":[56],"be":[58,110],"satisfied.":[59],"Consequently,":[60],"it":[61],"not":[63],"rare":[64],"developing":[66],"diagnosable":[68],"too":[71],"expensive.":[72],"To":[73],"solve":[74],"problem,":[76],"paper,":[79],"we":[80,116],"first":[81],"define":[82],"new":[84],"called":[87],"manifestability":[88],"represents":[90],"weakest":[92],"requirement":[93],"faults":[95],"observations":[97],"for":[98],"having":[99],"chance":[101],"identify":[103],"line":[105],"occurrences":[107],"can":[109],"verified":[111],"at":[112],"design":[113],"stage.":[114],"Then,":[115],"propose":[117],"an":[118],"algorithm":[119],"with":[120],"PSPACE":[121],"complexity":[122],"automatically":[124],"verify":[125],"it.":[126]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-03-11T14:59:36.786465","created_date":"2025-10-10T00:00:00"}