{"id":"https://openalex.org/W1982380860","doi":"https://doi.org/10.1109/tsmc.1987.4309054","title":"Diagnosis Using the Formal Theory of a Signal-Processing System","display_name":"Diagnosis Using the Formal Theory of a Signal-Processing System","publication_year":1987,"publication_date":"1987-01-01","ids":{"openalex":"https://openalex.org/W1982380860","doi":"https://doi.org/10.1109/tsmc.1987.4309054","mag":"1982380860"},"language":"en","primary_location":{"id":"doi:10.1109/tsmc.1987.4309054","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.1987.4309054","pdf_url":null,"source":{"id":"https://openalex.org/S76152103","display_name":"IEEE Transactions on Systems Man and Cybernetics","issn_l":"0018-9472","issn":["0018-9472","2168-2909"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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","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/A5047458648","display_name":"H. Nawab","orcid":null},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]},{"id":"https://openalex.org/I4210122954","display_name":"MIT Lincoln Laboratory","ror":"https://ror.org/022z6jk58","country_code":"US","type":"facility","lineage":["https://openalex.org/I4210122954","https://openalex.org/I63966007"]},{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hamid Nawab","raw_affiliation_strings":["Electrical, Computer, and Systems Engineering, Boston University, Boston, MA, USA","Lincoln Laboratory, Massachusetts Institute of Technology, Cambridge, MA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electrical, Computer, and Systems Engineering, Boston University, Boston, MA, USA","institution_ids":["https://openalex.org/I111088046"]},{"raw_affiliation_string":"Lincoln Laboratory, Massachusetts Institute of Technology, Cambridge, MA, USA","institution_ids":["https://openalex.org/I4210122954","https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020207982","display_name":"Victor Lesser","orcid":null},"institutions":[{"id":"https://openalex.org/I24603500","display_name":"University of Massachusetts Amherst","ror":"https://ror.org/0072zz521","country_code":"US","type":"education","lineage":["https://openalex.org/I24603500"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Victor Lesser","raw_affiliation_strings":["Department of Computer and Information Science, University of Massachusetts, Amherst, MA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Massachusetts, Amherst, MA, USA","institution_ids":["https://openalex.org/I24603500"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013989913","display_name":"Evangelos Milios","orcid":"https://orcid.org/0000-0001-5549-4675"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Evangelos Milios","raw_affiliation_strings":["Research Laboratory of Electronics, Massachusetts Institute of Technology, Cambridge, MA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Research Laboratory of Electronics, Massachusetts Institute of Technology, Cambridge, MA, USA","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.4738,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.81459956,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"17","issue":"3","first_page":"369","last_page":"379"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T14470","display_name":"Advanced Data Processing Techniques","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T14470","display_name":"Advanced Data Processing Techniques","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9933000206947327,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"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/T13891","display_name":"Engineering Diagnostics and Reliability","score":0.9872999787330627,"subfield":{"id":"https://openalex.org/subfields/2211","display_name":"Mechanics of Materials"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7370555996894836},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6442795395851135},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5955127477645874},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5787225365638733},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.5764861106872559},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.562129557132721},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5251909494400024},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.5192304253578186},{"id":"https://openalex.org/keywords/signal-processing","display_name":"Signal processing","score":0.4895992875099182},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3767469525337219},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.34048303961753845},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32069915533065796},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3106253445148468},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09953933954238892},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09371161460876465}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7370555996894836},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6442795395851135},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5955127477645874},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5787225365638733},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5764861106872559},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.562129557132721},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5251909494400024},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.5192304253578186},{"id":"https://openalex.org/C104267543","wikidata":"https://www.wikidata.org/wiki/Q208163","display_name":"Signal processing","level":3,"score":0.4895992875099182},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3767469525337219},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.34048303961753845},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32069915533065796},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3106253445148468},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09953933954238892},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09371161460876465},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","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/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"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/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C554190296","wikidata":"https://www.wikidata.org/wiki/Q47528","display_name":"Radar","level":2,"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/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tsmc.1987.4309054","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.1987.4309054","pdf_url":null,"source":{"id":"https://openalex.org/S76152103","display_name":"IEEE Transactions on Systems Man and Cybernetics","issn_l":"0018-9472","issn":["0018-9472","2168-2909"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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","raw_type":"journal-article"},{"id":"pmh:oai:scholarworks.umass.edu:cs_faculty_pubs-1831","is_oa":false,"landing_page_url":"https://scholarworks.umass.edu/cs_faculty_pubs/832","pdf_url":null,"source":{"id":"https://openalex.org/S4306402240","display_name":"ScholarWorks@UMassAmherst (University of Massachusetts Amherst)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I24603500","host_organization_name":"University of Massachusetts Amherst","host_organization_lineage":["https://openalex.org/I24603500"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science Department Faculty Publication Series","raw_type":"text"},{"id":"pmh:oai:scholarworks.umass.edu:20.500.14394/10437","is_oa":false,"landing_page_url":"https://hdl.handle.net/20.500.14394/10437","pdf_url":null,"source":{"id":"https://openalex.org/S4306402057","display_name":"Scholarworks (University of Massachusetts Amherst)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I24603500","host_organization_name":"University of Massachusetts Amherst","host_organization_lineage":["https://openalex.org/I24603500"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"published","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1567302829","https://openalex.org/W1981627423","https://openalex.org/W1989532638","https://openalex.org/W2179092893","https://openalex.org/W6634118668","https://openalex.org/W6685758942"],"related_works":["https://openalex.org/W2045155990","https://openalex.org/W4313163053","https://openalex.org/W3045811229","https://openalex.org/W4300973204","https://openalex.org/W1483408780","https://openalex.org/W4284884309","https://openalex.org/W2908749798","https://openalex.org/W2105980483","https://openalex.org/W4243842598","https://openalex.org/W1514435881"],"abstract_inverted_index":{"Many":[0],"signal-processing":[1,119],"systems":[2,24,147],"can":[3,89],"be":[4],"viewed":[5],"as":[6,199],"transforming":[7],"their":[8],"input":[9,40,51,62,75,166,212],"signals":[10,21],"into":[11,214],"a":[12,48,123,128,197,200],"representation":[13],"of":[14,35,38,50,106,136,145,157,164,171,202,210,238,240],"the":[15,20,33,36,43,56,68,74,77,82,92,108,118,143,155,165,169,178,185,206,211,215,219,225,236,241],"real-world":[16],"scenario":[17,167,213],"from":[18,64,177],"which":[19],"originated.":[22],"Such":[23],"usually":[25,53],"have":[26],"parameters":[27,94,109],"whose":[28],"settings":[29,46,79],"are":[30,84],"selected":[31],"on":[32,154],"basis":[34],"class":[37,49],"expected":[39],"scenarios.":[41,102],"Finding":[42],"appropriate":[44],"parameter":[45,78],"for":[47,81,100,111,188],"scenarios":[52,63],"involves":[54],"testing":[55],"system":[57,69,87,93,98,112,120,174,198,216,226,242],"against":[58],"typical":[59],"and/or":[60],"important":[61],"that":[65,131,182,204],"class.":[66],"Whenever":[67,218],"output":[70],"does":[71],"not":[72],"match":[73],"scenario,":[76],"responsible":[80,110,187],"fault":[83],"identified.":[85],"The":[86,103,150],"user":[88],"then":[90],"adjust":[91],"to":[95,142,194,231],"ensure":[96],"correct":[97,220],"behavior":[99],"such":[101,146],"diagnostic":[104],"process":[105,229],"identifying":[107],"faults":[113],"is":[114,148,152,222],"generally":[115],"difficult":[116],"because":[117],"carries":[121],"out":[122],"complicated":[124],"mathematical":[125,180],"transformation":[126,234],"involving":[127],"multistage":[129],"algorithm":[130],"generates":[132],"an":[133,158,172,232],"enormous":[134],"amount":[135],"intermediate":[137],"data.":[138],"A":[139],"new":[140],"approach":[141,151,193],"diagnosis":[144,195],"developed.":[149],"based":[153],"availability":[156],"abstract":[159,208],"and":[160,168],"possibly":[161],"qualitative":[162],"description":[163,209],"use":[170],"alternative":[173],"model":[175],"derived":[176],"underlying":[179],"theory":[181],"explicitly":[183],"represents":[184],"phenomena":[186],"any":[189],"incorrect":[190],"processing.":[191],"This":[192],"models":[196],"combination":[201],"processes":[203],"transform":[205],"user-specified":[207],"output.":[217,243],"answer":[221],"obtained":[223],"at":[224,235],"output,":[227],"each":[228],"reduces":[230],"identity":[233],"level":[237],"abstraction":[239]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}