{"id":"https://openalex.org/W1966768820","doi":"https://doi.org/10.1145/1316550.1316556","title":"Fault-tolerant digital systems implemented with partially definite and partially correct automata","display_name":"Fault-tolerant digital systems implemented with partially definite and partially correct automata","publication_year":2007,"publication_date":"2007-09-04","ids":{"openalex":"https://openalex.org/W1966768820","doi":"https://doi.org/10.1145/1316550.1316556","mag":"1966768820"},"language":"en","primary_location":{"id":"doi:10.1145/1316550.1316556","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1316550.1316556","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2007 workshop on Engineering fault tolerant systems","raw_type":"proceedings-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/A5112137190","display_name":"Nataliya Yakymets","orcid":null},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Nataliya Yakymets","raw_affiliation_strings":["Universit\u00e4t Stuttgart, Stuttgart, Germany","Universitat Stuttgart, Stuttgart, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Universit\u00e4t Stuttgart, Stuttgart, Germany","institution_ids":["https://openalex.org/I100066346"]},{"raw_affiliation_string":"Universitat Stuttgart, Stuttgart, Germany#TAB#","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066848534","display_name":"Vyacheslav Kharchenko","orcid":"https://orcid.org/0000-0001-5352-077X"},"institutions":[{"id":"https://openalex.org/I23686167","display_name":"National Aerospace University \u2013 Kharkiv Aviation Institute","ror":"https://ror.org/048j5n646","country_code":"UA","type":"education","lineage":["https://openalex.org/I23686167"]}],"countries":["UA"],"is_corresponding":false,"raw_author_name":"Vyacheslav Kharchenko","raw_affiliation_strings":["National Aerospace University \"KhAI\", Kharkiv, Ukraine"],"affiliations":[{"raw_affiliation_string":"National Aerospace University \"KhAI\", Kharkiv, Ukraine","institution_ids":["https://openalex.org/I23686167"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5112137190"],"corresponding_institution_ids":["https://openalex.org/I100066346"],"apc_list":null,"apc_paid":null,"fwci":0.4714,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.73606177,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"6","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9871000051498413,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/correctness","display_name":"Correctness","score":0.7267872095108032},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6859444975852966},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6748149991035461},{"id":"https://openalex.org/keywords/positive-definiteness","display_name":"Positive definiteness","score":0.4773959517478943},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.43680480122566223},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4127439558506012},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35919976234436035},{"id":"https://openalex.org/keywords/positive-definite-matrix","display_name":"Positive-definite matrix","score":0.2084205150604248},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.14020341634750366}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7267872095108032},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6859444975852966},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6748149991035461},{"id":"https://openalex.org/C2778265155","wikidata":"https://www.wikidata.org/wiki/Q7233276","display_name":"Positive definiteness","level":4,"score":0.4773959517478943},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.43680480122566223},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4127439558506012},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35919976234436035},{"id":"https://openalex.org/C49712288","wikidata":"https://www.wikidata.org/wiki/Q77601250","display_name":"Positive-definite matrix","level":3,"score":0.2084205150604248},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.14020341634750366},{"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C158693339","wikidata":"https://www.wikidata.org/wiki/Q190524","display_name":"Eigenvalues and eigenvectors","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1316550.1316556","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1316550.1316556","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2007 workshop on Engineering fault tolerant systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy","score":0.46000000834465027}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1579424694","https://openalex.org/W2037539475","https://openalex.org/W2100255415","https://openalex.org/W2102205362","https://openalex.org/W2108548117","https://openalex.org/W2125776345","https://openalex.org/W2142982810","https://openalex.org/W2160019035","https://openalex.org/W4239993644","https://openalex.org/W6611818798"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W1875930651","https://openalex.org/W1604988569"],"abstract_inverted_index":{"The":[0,25,42,168],"multi-version":[1],"approach":[2,30,170],"to":[3,32,45,50,56,78,102],"the":[4,12,19,34,39,57,73,80,115,126,137,144,150,175,178],"system":[5,58,112],"design":[6,146],"is":[7,31,49,99],"becoming":[8],"a":[9,104,109],"standard":[10],"for":[11,132,181],"critical":[13],"applications":[14],"as":[15,70],"it":[16],"allows":[17,154],"decreasing":[18],"probability":[20],"of":[21,28,38,72,111,128,177],"common":[22],"mode":[23],"failure.":[24],"main":[26,88],"idea":[27],"this":[29,47,61],"obtain":[33],"least":[35],"correlated":[36],"versions":[37],"same":[40],"project.":[41],"effective":[43],"way":[44],"satisfy":[46],"requirement":[48],"combine":[51],"classical":[52],"and":[53,130,142,157,164],"non-classical":[54,74],"approaches":[55,75],"design.":[59],"In":[60],"point,":[62],"genetic":[63],"algorithms":[64],"(GAs)":[65],"can":[66],"be":[67],"successfully":[68],"used":[69],"one":[71],"in":[76,95],"order":[77],"evolve":[79,103],"non-conventional":[81],"digital":[82,133,159],"systems.":[83],"However,":[84],"there":[85],"are":[86,136],"two":[87],"issues":[89],"that":[90],"arise":[91],"while":[92],"using":[93],"GA:":[94],"some":[96],"cases":[97],"GA":[98,151],"not":[100],"able":[101],"completely":[105],"correct":[106,163],"solution;":[107],"if":[108],"complexity":[110],"logic":[113],"grows":[114],"time":[116],"consumptions":[117],"significantly":[118],"increase.":[119],"To":[120],"avoid":[121],"both":[122],"issues,":[123],"we":[124],"elaborate":[125],"concepts":[127],"correctness":[129],"definiteness":[131],"automata,":[134],"which":[135],"solutions":[138],"received":[139],"with":[140,161],"GA,":[141],"represent":[143],"efficient":[145],"method":[147],"based":[148],"on":[149],"application.":[152],"It":[153],"obtaining":[155],"fault-tolerant":[156],"compact":[158],"systems":[160],"partially":[162,165],"definite":[166],"automata.":[167],"new":[169],"has":[171],"been":[172],"illustrated":[173],"by":[174],"example":[176],"heating":[179],"controller":[180],"AN-70":[182],"plane.":[183]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}