{"id":"https://openalex.org/W2155517165","doi":"https://doi.org/10.1109/acc.2006.1656625","title":"Fairness of transitions in diagnosability analysis of hybrid systems","display_name":"Fairness of transitions in diagnosability analysis of hybrid systems","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W2155517165","doi":"https://doi.org/10.1109/acc.2006.1656625","mag":"2155517165"},"language":"en","primary_location":{"id":"doi:10.1109/acc.2006.1656625","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2006.1656625","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2006 American Control Conference","raw_type":"proceedings-article"},"type":"conference-paper","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/A5052215348","display_name":"Santosh Biswas","orcid":"https://orcid.org/0000-0003-3020-4154"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"S. Biswas","raw_affiliation_strings":["Indian Institute of Technology, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology, India","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083752855","display_name":"Chandan Karfa","orcid":"https://orcid.org/0000-0002-3835-4184"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"C. Karfa","raw_affiliation_strings":["Indian Institute of Technology, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology, India","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026729038","display_name":"H. Kanwar","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"H. Kanwar","raw_affiliation_strings":["Indian Institute of Technology, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology, India","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101398868","display_name":"D. Sarkar","orcid":"https://orcid.org/0000-0002-3066-9819"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"D. Sarkar","raw_affiliation_strings":["Indian Institute of Technology, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology, India","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071719457","display_name":"Siddhartha Mukhopadhyay","orcid":"https://orcid.org/0000-0002-6415-8793"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"S. Mukhopadhyay","raw_affiliation_strings":["Indian Institute of Technology, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology, India","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102706209","display_name":"Amit Patra","orcid":"https://orcid.org/0000-0002-3996-5761"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"A. Patra","raw_affiliation_strings":["Indian Institute of Technology, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology, India","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2944,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.5103945,"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":"6 pp.","last_page":"6 pp."},"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.9997000098228455,"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.9997000098228455,"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/T10780","display_name":"Reliability and Maintenance Optimization","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9922999739646912,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/property","display_name":"Property (philosophy)","score":0.6593096256256104},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6583664417266846},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6041004061698914},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.5813852548599243},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5723882913589478},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5683680772781372},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.48905453085899353},{"id":"https://openalex.org/keywords/fault-detection-and-isolation","display_name":"Fault detection and isolation","score":0.4752228856086731},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.4614158570766449},{"id":"https://openalex.org/keywords/transition-system","display_name":"Transition system","score":0.4500305652618408},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4465295970439911},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35246074199676514},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3515249490737915},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33196496963500977},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11987334489822388}],"concepts":[{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6593096256256104},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6583664417266846},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6041004061698914},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.5813852548599243},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5723882913589478},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5683680772781372},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.48905453085899353},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.4752228856086731},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.4614158570766449},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.4500305652618408},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4465295970439911},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35246074199676514},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3515249490737915},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33196496963500977},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11987334489822388},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","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/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/acc.2006.1656625","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2006.1656625","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2006 American Control Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6200000047683716,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1985787415","https://openalex.org/W2004463571","https://openalex.org/W2101961364","https://openalex.org/W2131628306"],"related_works":["https://openalex.org/W278680301","https://openalex.org/W2144996318","https://openalex.org/W2950070980","https://openalex.org/W2130642229","https://openalex.org/W2482293685","https://openalex.org/W2967704739","https://openalex.org/W1489487975","https://openalex.org/W24395736","https://openalex.org/W2100014112","https://openalex.org/W1996435633"],"abstract_inverted_index":{"Requirement":[0],"of":[1,15,66,80,118,120,140],"reliable":[2],"performance":[3],"in":[4,36,52,59,70],"complex":[5],"mission":[6],"critical":[7],"systems":[8],"have":[9],"made":[10],"online":[11],"detection":[12],"and":[13,50,106,155,158],"isolation":[14],"failures":[16],"a":[17,60,141,169],"crucial":[18],"task.":[19],"Failure":[20],"diagnosability":[21,41,90,119,150],"has":[22,44,179],"been":[23,45,180],"widely":[24],"studied":[25],"for":[26,91,109,138,167],"discrete":[27,93],"event":[28],"system":[29,96,171],"(DES)":[30],"models.":[31],"It":[32],"is":[33,64,99,104,123,143,152],"however":[34],"shown":[35,46],"this":[37,87],"work,":[38],"that":[39],"the":[40,53,67,72,81,126,132,146,149],"condition":[42,151],"which":[43,75],"to":[47,57,173],"be":[48],"necessary":[49],"sufficient":[51],"DES":[54,73],"context":[55],"fails":[56],"hold":[58],"real-world":[61],"example.":[62],"This":[63],"because":[65],"abstraction":[68],"employed":[69],"formulating":[71],"models,":[74],"obliterates":[76],"an":[77,136,165],"important":[78],"property":[79],"transitions":[82,177],"namely,":[83],"their":[84],"fairness.":[85],"In":[86],"paper,":[88],"failure":[89],"fair":[92,176],"time":[94],"hybrid":[95,170],"(DTHS)":[97],"models":[98,122],"discussed.":[100,115],"The":[101],"modeling":[102],"framework":[103],"defined":[105],"its":[107,156],"properties":[108,160],"any":[110],"given":[111],"measurement":[112,133],"limitation":[113],"are":[114,161],"A":[116],"definition":[117],"these":[121],"adopted":[124],"from":[125],"literature":[127],"on":[128,131],"DES.":[129],"Based":[130],"limited":[134],"model,":[135],"algorithm":[137,166],"construction":[139],"diagnoser":[142],"presented.":[144],"Exploiting":[145],"fairness":[147],"property,":[148],"suitably":[153],"modified":[154],"necessity":[157],"sufficiency":[159],"formally":[162],"established.":[163],"Further,":[164],"transforming":[168],"model":[172],"another":[174],"comprising":[175],"only,":[178],"developed":[181],"using":[182],"fixed":[183],"point":[184],"computation":[185]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}