{"id":"https://openalex.org/W2945580958","doi":"https://doi.org/10.1080/00207179.2019.1706102","title":"On the finiteness of accessibility test for nonlinear discrete-time systems","display_name":"On the finiteness of accessibility test for nonlinear discrete-time systems","publication_year":2019,"publication_date":"2019-12-19","ids":{"openalex":"https://openalex.org/W2945580958","doi":"https://doi.org/10.1080/00207179.2019.1706102","mag":"2945580958"},"language":"en","primary_location":{"id":"doi:10.1080/00207179.2019.1706102","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207179.2019.1706102","pdf_url":null,"source":{"id":"https://openalex.org/S88061139","display_name":"International Journal of Control","issn_l":"0020-7179","issn":["0020-7179","1366-5820"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Control","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1905.10154","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5074946736","display_name":"Mohammad Amin Sarafrazi","orcid":"https://orcid.org/0000-0002-7265-0841"},"institutions":[{"id":"https://openalex.org/I166459259","display_name":"Shiraz University","ror":"https://ror.org/028qtbk54","country_code":"IR","type":"education","lineage":["https://openalex.org/I166459259"]}],"countries":["IR"],"is_corresponding":true,"raw_author_name":"Mohammad Amin Sarafrazi","raw_affiliation_strings":["Independent Researcher, Shiraz, Iran"],"raw_orcid":"https://orcid.org/0000-0002-7265-0841","affiliations":[{"raw_affiliation_string":"Independent Researcher, Shiraz, Iran","institution_ids":["https://openalex.org/I166459259"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019229577","display_name":"Ewa Paw\u0142uszewicz","orcid":"https://orcid.org/0000-0002-3297-7970"},"institutions":[{"id":"https://openalex.org/I1323121030","display_name":"Bialystok University of Technology","ror":"https://ror.org/02bzfsy61","country_code":"PL","type":"education","lineage":["https://openalex.org/I1323121030"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Ewa Paw\u0142uszewicz","raw_affiliation_strings":["Faculty of Mechanical Engineering, Bia\u0142ystok University of Technology, Bia\u0142ystok, Poland"],"raw_orcid":"https://orcid.org/0000-0002-3297-7970","affiliations":[{"raw_affiliation_string":"Faculty of Mechanical Engineering, Bia\u0142ystok University of Technology, Bia\u0142ystok, Poland","institution_ids":["https://openalex.org/I1323121030"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047308798","display_name":"Zbigniew Bartosiewicz","orcid":"https://orcid.org/0000-0002-7250-4350"},"institutions":[{"id":"https://openalex.org/I1323121030","display_name":"Bialystok University of Technology","ror":"https://ror.org/02bzfsy61","country_code":"PL","type":"education","lineage":["https://openalex.org/I1323121030"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Zbigniew Bartosiewicz","raw_affiliation_strings":["Faculty of Computer Science, Bia\u0142ystok University of Technology, Bia\u0142ystok, Poland","Faculty of Computer Science Bialystok University of Technology  Bialystok Poland"],"raw_orcid":"https://orcid.org/0000-0002-7250-4350","affiliations":[{"raw_affiliation_string":"Faculty of Computer Science, Bia\u0142ystok University of Technology, Bia\u0142ystok, Poland","institution_ids":["https://openalex.org/I1323121030"]},{"raw_affiliation_string":"Faculty of Computer Science Bialystok University of Technology  Bialystok Poland","institution_ids":["https://openalex.org/I1323121030"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085233495","display_name":"\u00dclle Kotta","orcid":"https://orcid.org/0000-0002-7697-769X"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"\u00dclle Kotta","raw_affiliation_strings":["Department of Software Science, Tallinn University of Technology, Tallinn, Estonia"],"raw_orcid":"https://orcid.org/0000-0002-7697-769X","affiliations":[{"raw_affiliation_string":"Department of Software Science, Tallinn University of Technology, Tallinn, Estonia","institution_ids":["https://openalex.org/I111112146"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5074946736"],"corresponding_institution_ids":["https://openalex.org/I166459259"],"apc_list":null,"apc_paid":null,"fwci":0.3999,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.63441019,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"94","issue":"9","first_page":"2330","last_page":"2336"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9965000152587891,"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/T10142","display_name":"Formal Methods in Verification","score":0.9965000152587891,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9959999918937683,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.995199978351593,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.6438024640083313},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.6346675753593445},{"id":"https://openalex.org/keywords/finite-set","display_name":"Finite set","score":0.6164389848709106},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5730030536651611},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5505073070526123},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5168612599372864},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.46650972962379456},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.4556260108947754},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.4364163279533386},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.37324851751327515},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36996328830718994},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.12066051363945007},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.09609252214431763},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.05624055862426758}],"concepts":[{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.6438024640083313},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.6346675753593445},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.6164389848709106},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5730030536651611},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5505073070526123},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5168612599372864},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.46650972962379456},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4556260108947754},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.4364163279533386},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.37324851751327515},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36996328830718994},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.12066051363945007},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.09609252214431763},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.05624055862426758},{"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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1080/00207179.2019.1706102","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207179.2019.1706102","pdf_url":null,"source":{"id":"https://openalex.org/S88061139","display_name":"International Journal of Control","issn_l":"0020-7179","issn":["0020-7179","1366-5820"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Control","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1905.10154","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1905.10154","pdf_url":"https://arxiv.org/pdf/1905.10154","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:2945580958","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1905.10154","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1905.10154","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1905.10154","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1905.10154","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1905.10154","pdf_url":"https://arxiv.org/pdf/1905.10154","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320323075","display_name":"Politechnika Bialostocka","ror":"https://ror.org/02bzfsy61"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2945580958.pdf"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W191067923","https://openalex.org/W1491777560","https://openalex.org/W1539838732","https://openalex.org/W1578722530","https://openalex.org/W1965895791","https://openalex.org/W1976058996","https://openalex.org/W1984271677","https://openalex.org/W1987436588","https://openalex.org/W2010360399","https://openalex.org/W2062734332","https://openalex.org/W2094982774","https://openalex.org/W2100626771","https://openalex.org/W2103702540","https://openalex.org/W2113129324","https://openalex.org/W2114681281","https://openalex.org/W2153619841","https://openalex.org/W2166395589","https://openalex.org/W2299439007","https://openalex.org/W2319466955","https://openalex.org/W2518694143","https://openalex.org/W2806124350","https://openalex.org/W4205424143","https://openalex.org/W4234426551","https://openalex.org/W4248937314","https://openalex.org/W4299599836"],"related_works":["https://openalex.org/W3202959639","https://openalex.org/W2964274798","https://openalex.org/W3194098743","https://openalex.org/W3103370371","https://openalex.org/W2995572343","https://openalex.org/W1564153428","https://openalex.org/W2164957184","https://openalex.org/W2610269360","https://openalex.org/W2043702293","https://openalex.org/W2574585889","https://openalex.org/W1995806397","https://openalex.org/W2022291924","https://openalex.org/W2009172526","https://openalex.org/W2905945621","https://openalex.org/W2626197611","https://openalex.org/W2602411525","https://openalex.org/W3109879278","https://openalex.org/W1581291877","https://openalex.org/W2596027230","https://openalex.org/W2220911105"],"abstract_inverted_index":{"It":[0],"is":[1,49,53,104],"shown":[2],"that":[3,43],"for":[4,29,55,73,85],"two":[5],"large":[6],"subclasses":[7],"of":[8,36,58,87,98,111,119,124],"discrete-time":[9],"nonlinear":[10],"systems":[11,14,23],"\u2013":[12,24],"analytic":[13],"defined":[15],"on":[16],"a":[17],"compact":[18],"state":[19],"space":[20],"and":[21,80,122],"rational":[22],"the":[25,37,96,102,120],"minimum":[26],"length":[27,59],"r\u2217":[28],"input":[30,56],"sequences,":[31],"called":[32],"here":[33],"accessibility":[34,118,123],"index":[35],"system,":[38],"can":[39,76],"be":[40,77],"found,":[41],"such":[42],"from":[44,100],"any":[45,108],"point":[46],"x,":[47],"system":[48,103,121],"accessible":[50,54,106],"if":[51],"it":[52],"sequences":[57],"r\u2217.":[60],"Algorithms":[61],"are":[62,130],"presented":[63],"to":[64,94],"compute":[65],"r\u2217,":[66],"as":[67,69],"well":[68],"an":[70],"upper":[71],"bound":[72],"it,":[74],"which":[75,101],"computed":[78],"easier,":[79],"hence":[81],"provide":[82],"finite":[83,109,128],"tests":[84],"determination":[86],"accessibility.":[88],"The":[89],"algorithms":[90],"also":[91],"show":[92],"how":[93],"construct":[95],"set":[97],"points":[99,126],"not":[105],"in":[107,127],"number":[110],"steps.":[112],"Finally,":[113],"some":[114],"relations":[115],"between":[116],"generic":[117],"individual":[125],"steps":[129],"given.":[131]},"counts_by_year":[{"year":2019,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}