{"id":"https://openalex.org/W2006127283","doi":"https://doi.org/10.1109/cdc.2012.6426695","title":"Determination of timed transitions in identified discrete-event models for fault detection","display_name":"Determination of timed transitions in identified discrete-event models for fault detection","publication_year":2012,"publication_date":"2012-12-01","ids":{"openalex":"https://openalex.org/W2006127283","doi":"https://doi.org/10.1109/cdc.2012.6426695","mag":"2006127283"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2012.6426695","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2012.6426695","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE 51st IEEE Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},"type":"preprint","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/A5102769053","display_name":"Stefan Schneider","orcid":"https://orcid.org/0000-0002-0724-8282"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefan Schneider","raw_affiliation_strings":["Institute of Automatic Control, University of Kaiserslautern, Kaiserslautern, Germany","Institute of Automatic Control, University of Kaiserslautern, 67653, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Automatic Control, University of Kaiserslautern, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]},{"raw_affiliation_string":"Institute of Automatic Control, University of Kaiserslautern, 67653, Germany","institution_ids":["https://openalex.org/I153267046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033124404","display_name":"Lothar Litz","orcid":null},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Lothar Litz","raw_affiliation_strings":["Institute of Automatic Control, University of Kaiserslautern, Kaiserslautern, Germany","Institute of Automatic Control, University of Kaiserslautern, 67653, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Automatic Control, University of Kaiserslautern, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]},{"raw_affiliation_string":"Institute of Automatic Control, University of Kaiserslautern, 67653, Germany","institution_ids":["https://openalex.org/I153267046"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074798643","display_name":"Jean-Jacques Lesage","orcid":"https://orcid.org/0000-0002-3089-1487"},"institutions":[{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]},{"id":"https://openalex.org/I29607241","display_name":"\u00c9cole Normale Sup\u00e9rieure - PSL","ror":"https://ror.org/05a0dhs15","country_code":"FR","type":"other","lineage":["https://openalex.org/I2746051580","https://openalex.org/I29607241"]},{"id":"https://openalex.org/I4387153626","display_name":"Laboratoire Universitaire de Recherche en Production Automatis\u00e9e","ror":"https://ror.org/05wjc8a85","country_code":null,"type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4387153626"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Jacques Lesage","raw_affiliation_strings":["Laboratoire Universitaire de Recherche en Production Automatis\u00e9e (LURPA), Ecole Normale Sup\u00e9rieure de Cachan, Cachan, France","Laboratoire Universitaire de Recherche en Production Automatis\u00e9e (LURPA) - Ecole Normale Sup\u00e9rieur de Cachan, 61, Avenue du Pr\u00e9sident Wilson, 94235 Cedex, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire Universitaire de Recherche en Production Automatis\u00e9e (LURPA), Ecole Normale Sup\u00e9rieure de Cachan, Cachan, France","institution_ids":["https://openalex.org/I11559806","https://openalex.org/I4387153626"]},{"raw_affiliation_string":"Laboratoire Universitaire de Recherche en Production Automatis\u00e9e (LURPA) - Ecole Normale Sup\u00e9rieur de Cachan, 61, Avenue du Pr\u00e9sident Wilson, 94235 Cedex, France","institution_ids":["https://openalex.org/I29607241","https://openalex.org/I4387153626"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.09086837,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"5816","last_page":"5821"},"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.9998000264167786,"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.9998000264167786,"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.9990000128746033,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7561886310577393},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6842796802520752},{"id":"https://openalex.org/keywords/guard","display_name":"Guard (computer science)","score":0.6622625589370728},{"id":"https://openalex.org/keywords/a-priori-and-a-posteriori","display_name":"A priori and a posteriori","score":0.6555432081222534},{"id":"https://openalex.org/keywords/fault-detection-and-isolation","display_name":"Fault detection and isolation","score":0.6401171088218689},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5553019642829895},{"id":"https://openalex.org/keywords/observer","display_name":"Observer (physics)","score":0.48387277126312256},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.47717157006263733},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4461138844490051},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.44522446393966675},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.43795284628868103},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3826993405818939},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22499194741249084},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.07953029870986938}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7561886310577393},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6842796802520752},{"id":"https://openalex.org/C141141315","wikidata":"https://www.wikidata.org/wiki/Q2379942","display_name":"Guard (computer science)","level":2,"score":0.6622625589370728},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.6555432081222534},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.6401171088218689},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5553019642829895},{"id":"https://openalex.org/C2780704645","wikidata":"https://www.wikidata.org/wiki/Q9251458","display_name":"Observer (physics)","level":2,"score":0.48387277126312256},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.47717157006263733},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4461138844490051},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.44522446393966675},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.43795284628868103},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3826993405818939},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22499194741249084},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.07953029870986938},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"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":1,"locations":[{"id":"doi:10.1109/cdc.2012.6426695","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2012.6426695","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE 51st IEEE Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W87472625","https://openalex.org/W1547373531","https://openalex.org/W2099395647","https://openalex.org/W2101508170","https://openalex.org/W2102571511","https://openalex.org/W2135215536","https://openalex.org/W2142873763","https://openalex.org/W2145128692","https://openalex.org/W2156143515"],"related_works":["https://openalex.org/W4254637722","https://openalex.org/W2980401999","https://openalex.org/W3016483420","https://openalex.org/W2331628363","https://openalex.org/W4388311650","https://openalex.org/W5922282","https://openalex.org/W2393030234","https://openalex.org/W1974056099","https://openalex.org/W3121254296","https://openalex.org/W2060193301"],"abstract_inverted_index":{"Model-based":[0],"fault":[1,69,104],"detection":[2,70,105],"compares":[3],"modeled":[4],"and":[5,74],"observed":[6],"behavior":[7],"to":[8,24,43,63],"decide":[9],"whether":[10],"a":[11,40,57,99],"system":[12,80],"operates":[13],"properly":[14],"or":[15],"not.":[16],"The":[17,54],"key":[18],"issue":[19],"in":[20,98],"this":[21,36],"paper":[22],"is":[23,52,81,90],"model":[25],"large-scale":[26],"Discrete":[27],"Event":[28],"Systems":[29],"(DESs)":[30],"with":[31],"little":[32],"a-priori":[33],"knowledge.":[34],"For":[35],"class":[37],"of":[38,46,59,85],"systems":[39],"new":[41],"approach":[42],"black-box":[44],"determination":[45],"timed":[47,50],"transitions":[48],"for":[49,83],"automata":[51],"proposed.":[53],"method":[55,96],"identifies":[56],"set":[58],"time":[60,86],"guards":[61],"leading":[62],"an":[64],"advantageous":[65],"trade-off":[66,101],"between":[67,102],"the":[68,94,103],"errors:":[71],"false":[72],"alarms":[73],"missed":[75],"detections.":[76],"A":[77],"real":[78],"industrial":[79],"applied":[82],"evaluation":[84],"guard":[87],"determination.":[88],"It":[89],"shown":[91],"that":[92],"applying":[93],"proposed":[95],"results":[97],"better":[100],"errors":[106],"than":[107],"using":[108],"common":[109],"methods":[110],"(e.g.":[111],"Min/Max,":[112],"Normal":[113],"Distribution).":[114]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}