{"id":"https://openalex.org/W2400952657","doi":"https://doi.org/10.14232/actacyb.21.2.2013.1","title":"Distinguishing Experiments for Timed Nondeterministic Finite State Machines","display_name":"Distinguishing Experiments for Timed Nondeterministic Finite State Machines","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W2400952657","doi":"https://doi.org/10.14232/actacyb.21.2.2013.1","mag":"2400952657"},"language":"en","primary_location":{"id":"doi:10.14232/actacyb.21.2.2013.1","is_oa":true,"landing_page_url":"https://doi.org/10.14232/actacyb.21.2.2013.1","pdf_url":"https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/download/3840/3824","source":{"id":"https://openalex.org/S5962179","display_name":"Acta Cybernetica","issn_l":"0324-721X","issn":["0324-721X","2676-993X"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315420","host_organization_name":"University of Szeged","host_organization_lineage":["https://openalex.org/P4310315420"],"host_organization_lineage_names":["University of Szeged"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Cybernetica","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/download/3840/3824","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005294944","display_name":"Khaled El\u2010Fakih","orcid":"https://orcid.org/0000-0002-2343-2848"},"institutions":[{"id":"https://openalex.org/I199440890","display_name":"American University of Sharjah","ror":"https://ror.org/001g2fj96","country_code":"AE","type":"education","lineage":["https://openalex.org/I199440890"]}],"countries":["AE"],"is_corresponding":true,"raw_author_name":"Khaled El-Fakih","raw_affiliation_strings":["American University of Sharjah, Department of Computer Science and Engineering, PO Box 26666, Sharjah, UAE,"],"affiliations":[{"raw_affiliation_string":"American University of Sharjah, Department of Computer Science and Engineering, PO Box 26666, Sharjah, UAE,","institution_ids":["https://openalex.org/I199440890"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023320622","display_name":"Maxim Gromov","orcid":"https://orcid.org/0000-0002-2990-8245"},"institutions":[{"id":"https://openalex.org/I196355604","display_name":"National Research Tomsk State University","ror":"https://ror.org/02he2nc27","country_code":"RU","type":"education","lineage":["https://openalex.org/I196355604"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Maxim Gromov","raw_affiliation_strings":["Tomsk State University, 36 Lenin Str., Tomsk, 634050, Russia,"],"affiliations":[{"raw_affiliation_string":"Tomsk State University, 36 Lenin Str., Tomsk, 634050, Russia,","institution_ids":["https://openalex.org/I196355604"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004616370","display_name":"Natalia Shabaldina","orcid":"https://orcid.org/0000-0002-1958-550X"},"institutions":[{"id":"https://openalex.org/I196355604","display_name":"National Research Tomsk State University","ror":"https://ror.org/02he2nc27","country_code":"RU","type":"education","lineage":["https://openalex.org/I196355604"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Natalia Shabaldina","raw_affiliation_strings":["Tomsk State University, 36 Lenin Str., Tomsk, 634050, Russia,"],"affiliations":[{"raw_affiliation_string":"Tomsk State University, 36 Lenin Str., Tomsk, 634050, Russia,","institution_ids":["https://openalex.org/I196355604"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082528508","display_name":"Nina Yevtushenko","orcid":"https://orcid.org/0000-0002-4006-1161"},"institutions":[{"id":"https://openalex.org/I196355604","display_name":"National Research Tomsk State University","ror":"https://ror.org/02he2nc27","country_code":"RU","type":"education","lineage":["https://openalex.org/I196355604"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Nina Yevtushenko","raw_affiliation_strings":["Tomsk State University, 36 Lenin Str., Tomsk, 634050, Russia,"],"affiliations":[{"raw_affiliation_string":"Tomsk State University, 36 Lenin Str., Tomsk, 634050, Russia,","institution_ids":["https://openalex.org/I196355604"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5005294944"],"corresponding_institution_ids":["https://openalex.org/I199440890"],"apc_list":null,"apc_paid":null,"fwci":3.4023,"has_fulltext":true,"cited_by_count":14,"citation_normalized_percentile":{"value":0.92629696,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"21","issue":"2","first_page":"205","last_page":"222"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9993000030517578,"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"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9965999722480774,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.8577671051025391},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.8235749006271362},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.7825099229812622},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.7427241802215576},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.727323591709137},{"id":"https://openalex.org/keywords/separable-space","display_name":"Separable space","score":0.6757428646087646},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.49756506085395813},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4753781855106354},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4402593970298767},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.41069212555885315},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2186127007007599}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.8577671051025391},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.8235749006271362},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7825099229812622},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.7427241802215576},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.727323591709137},{"id":"https://openalex.org/C70710897","wikidata":"https://www.wikidata.org/wiki/Q680081","display_name":"Separable space","level":2,"score":0.6757428646087646},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.49756506085395813},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4753781855106354},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4402593970298767},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.41069212555885315},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2186127007007599},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"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/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.14232/actacyb.21.2.2013.1","is_oa":true,"landing_page_url":"https://doi.org/10.14232/actacyb.21.2.2013.1","pdf_url":"https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/download/3840/3824","source":{"id":"https://openalex.org/S5962179","display_name":"Acta Cybernetica","issn_l":"0324-721X","issn":["0324-721X","2676-993X"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315420","host_organization_name":"University of Szeged","host_organization_lineage":["https://openalex.org/P4310315420"],"host_organization_lineage_names":["University of Szeged"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Cybernetica","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.14232/actacyb.21.2.2013.1","is_oa":true,"landing_page_url":"https://doi.org/10.14232/actacyb.21.2.2013.1","pdf_url":"https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/download/3840/3824","source":{"id":"https://openalex.org/S5962179","display_name":"Acta Cybernetica","issn_l":"0324-721X","issn":["0324-721X","2676-993X"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315420","host_organization_name":"University of Szeged","host_organization_lineage":["https://openalex.org/P4310315420"],"host_organization_lineage_names":["University of Szeged"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Cybernetica","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2400952657.pdf","grobid_xml":"https://content.openalex.org/works/W2400952657.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W75838714","https://openalex.org/W123201946","https://openalex.org/W1496915765","https://openalex.org/W1543281322","https://openalex.org/W1543918645","https://openalex.org/W1752357427","https://openalex.org/W1826862067","https://openalex.org/W1990687584","https://openalex.org/W2004929506","https://openalex.org/W2005150099","https://openalex.org/W2008813808","https://openalex.org/W2009340103","https://openalex.org/W2018457343","https://openalex.org/W2028345614","https://openalex.org/W2055298790","https://openalex.org/W2055530557","https://openalex.org/W2109354640","https://openalex.org/W2160282650","https://openalex.org/W2501018404","https://openalex.org/W2798943712","https://openalex.org/W4231342921","https://openalex.org/W4285719527","https://openalex.org/W6632631254","https://openalex.org/W6632652157","https://openalex.org/W6648064142","https://openalex.org/W6664350839"],"related_works":["https://openalex.org/W2790652601","https://openalex.org/W2770489137","https://openalex.org/W2060032524","https://openalex.org/W2143578569","https://openalex.org/W2164968206","https://openalex.org/W2538831380","https://openalex.org/W2100596986","https://openalex.org/W1988549452","https://openalex.org/W2170132780","https://openalex.org/W2081923730"],"abstract_inverted_index":{"The":[0,66],"problem":[1,9,26],"of":[2,13,45,62,82],"constructing":[3,72],"distinguishing":[4],"experiments":[5],"is":[6,27,69],"a":[7,90,100,142],"fundamental":[8],"in":[10],"the":[11,25,42,51,63,76,83,87,104,128],"area":[12],"finite":[14],"state":[15],"machines":[16,47,52,109],"(FSMs),":[17],"especially":[18],"for":[19,29,75,98,103,135],"FSM-based":[20,92],"testing.":[21],"In":[22],"this":[23],"paper,":[24],"studied":[28],"timed":[30],"nondeterministic":[31],"FSMs":[32],"(TFSMs)":[33],"with":[34],"output":[35,79],"delays.":[36],"Given":[37],"two":[38,115],"TFSMs,":[39],"we":[40,131],"derive":[41],"TFSM":[43,64,84,139],"intersection":[44],"these":[46,108],"and":[48,78],"show":[49],"that":[50,140],"can":[53,95,118],"be":[54,96,120],"distinguished":[55,121],"using":[56],"an":[57,123,133,137],"appropriate":[58,73],"(untimed)":[59],"FSM":[60,67,129],"abstraction":[61,68,130],"intersection.":[65,85],"derived":[70],"by":[71,122],"partitions":[74],"input":[77],"time":[80],"domains":[81],"Using":[86],"obtained":[88],"abstraction,":[89],"traditional":[91],"preset":[93],"algorithm":[94,134],"used":[97],"deriving":[99,136],"separating":[101],"sequence":[102],"given":[105],"TFSMs":[106,117],"if":[107],"are":[110],"separable.":[111],"Moreover,":[112],"as":[113],"sometimes":[114],"non-separable":[116],"still":[119],"adaptive":[124,144],"experiment,":[125],"based":[126],"on":[127],"present":[132],"r-distinguishing":[138],"represents":[141],"corresponding":[143],"experiment.":[145]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}