{"id":"https://openalex.org/W4396571440","doi":"https://doi.org/10.1145/3641513.3650138","title":"Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters","display_name":"Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters","publication_year":2024,"publication_date":"2024-05-02","ids":{"openalex":"https://openalex.org/W4396571440","doi":"https://doi.org/10.1145/3641513.3650138"},"language":"en","primary_location":{"id":"doi:10.1145/3641513.3650138","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3641513.3650138","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control","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/A5085599143","display_name":"Xiao Guo","orcid":"https://orcid.org/0000-0002-1986-6619"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiao Guo","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, China"],"raw_orcid":"https://orcid.org/0000-0002-1986-6619","affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5096362816","display_name":"Jianhua Zhao","orcid":"https://orcid.org/0009-0007-7011-7027"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianhua Zhao","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, China"],"raw_orcid":"https://orcid.org/0009-0007-7011-7027","affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029676029","display_name":"Lei Bu","orcid":"https://orcid.org/0000-0003-0517-7801"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei Bu","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, China"],"raw_orcid":"https://orcid.org/0000-0003-0517-7801","affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.954200029373169,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9466999769210815,"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/bibo-stability","display_name":"BIBO stability","score":0.9406235218048096},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.6345970630645752},{"id":"https://openalex.org/keywords/digital-filter","display_name":"Digital filter","score":0.6074737310409546},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5958272218704224},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5828609466552734},{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.4853474199771881},{"id":"https://openalex.org/keywords/filter","display_name":"Filter (signal processing)","score":0.47884130477905273},{"id":"https://openalex.org/keywords/filter-design","display_name":"Filter design","score":0.4362061619758606},{"id":"https://openalex.org/keywords/adaptive-filter","display_name":"Adaptive filter","score":0.4201355576515198},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.30199891328811646},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2650451362133026},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.1765097677707672},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.125244140625},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07360634207725525}],"concepts":[{"id":"https://openalex.org/C96380407","wikidata":"https://www.wikidata.org/wiki/Q744737","display_name":"BIBO stability","level":3,"score":0.9406235218048096},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.6345970630645752},{"id":"https://openalex.org/C36390408","wikidata":"https://www.wikidata.org/wiki/Q1163067","display_name":"Digital filter","level":3,"score":0.6074737310409546},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5958272218704224},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5828609466552734},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.4853474199771881},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.47884130477905273},{"id":"https://openalex.org/C22597639","wikidata":"https://www.wikidata.org/wiki/Q5449227","display_name":"Filter design","level":3,"score":0.4362061619758606},{"id":"https://openalex.org/C102248274","wikidata":"https://www.wikidata.org/wiki/Q168388","display_name":"Adaptive filter","level":2,"score":0.4201355576515198},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.30199891328811646},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2650451362133026},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.1765097677707672},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.125244140625},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07360634207725525},{"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/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3641513.3650138","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3641513.3650138","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Affordable and clean energy","score":0.7200000286102295,"id":"https://metadata.un.org/sdg/7"}],"awards":[{"id":"https://openalex.org/G8476080234","display_name":null,"funder_award_id":"62232008,62172200","funder_id":"https://openalex.org/F4320323817","funder_display_name":"Universitas Brawijaya"},{"id":"https://openalex.org/G8625221831","display_name":null,"funder_award_id":"2023300180","funder_id":"https://openalex.org/F4320323817","funder_display_name":"Universitas Brawijaya"}],"funders":[{"id":"https://openalex.org/F4320323817","display_name":"Universitas Brawijaya","ror":"https://ror.org/01wk3d929"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1608230613","https://openalex.org/W1967884132","https://openalex.org/W1976043036","https://openalex.org/W1986086798","https://openalex.org/W2006503285","https://openalex.org/W2016043649","https://openalex.org/W2037465794","https://openalex.org/W2069188165","https://openalex.org/W2087229185","https://openalex.org/W2095810701","https://openalex.org/W2134534233","https://openalex.org/W2149647957","https://openalex.org/W2888321432","https://openalex.org/W2964285479","https://openalex.org/W2998743141","https://openalex.org/W3100198463","https://openalex.org/W4225751037","https://openalex.org/W4248865075","https://openalex.org/W4249679105"],"related_works":["https://openalex.org/W2165154062","https://openalex.org/W2106808257","https://openalex.org/W4205364631","https://openalex.org/W4388117850","https://openalex.org/W2354812741","https://openalex.org/W2358285185","https://openalex.org/W2371426832","https://openalex.org/W2170682475","https://openalex.org/W2156729252","https://openalex.org/W2172055867"],"abstract_inverted_index":{"Digital":[0],"filters,":[1,122,182],"a":[2,24,38,43,55,63,78,88,92,105,112,131,141,160,173,179,188,234,257],"subclass":[3,180],"of":[4,34,111,120,134,140,152,168,175,178,181,190,208,249],"linear":[5,64],"time-invariant":[6],"systems,":[7],"are":[8],"widely":[9],"used":[10],"in":[11,283],"signal":[12,27],"processing":[13],"and":[14,62,155,267],"control":[15,71],"systems.":[16],"A":[17],"digital":[18,89,121,153,210,265],"filter":[19,90,236],"performs":[20],"mathematical":[21],"operations":[22],"on":[23,184,195],"sampled,":[25],"discrete-time":[26],"to":[28,87,102,117,129,163,192,203,264],"reduce":[29],"or":[30],"enhance":[31],"certain":[32],"aspects":[33],"that":[35,45,83,237,276],"signal.":[36],"Such":[37],"system":[39],"is":[40,58,66,77,124,225,233],"implemented":[41],"by":[42,228],"loop":[44],"iterates":[46],"over":[47],"an":[48],"infinite":[49],"time":[50,285],"horizon.":[51],"At":[52],"each":[53,219],"iteration,":[54],"random":[56],"value":[57,217],"generated":[59],"as":[60,68],"input,":[61],"expression":[65],"evaluated":[67],"output.":[69,94,197],"In":[70,143],"theory,":[72],"bounded-input,":[73],"bounded-output":[74],"(BIBO)":[75],"stability":[76],"fundamental":[79],"criterion,":[80],"which":[81,185],"requires":[82],"any":[84],"bounded":[85,93,229],"input":[86],"yields":[91],"Correspondingly,":[95],"at":[96,218],"the":[97,109,118,136,147,165,176,196,205,215,247,271],"implementation":[98],"level,":[99],"we":[100,158,171,186,199,213,255],"aim":[101],"determine":[103],"if":[104],"specified":[106],"interval":[107],"bounds":[108,194],"output":[110,138,166,206,216],"given":[113],"filter.":[114,142],"However,":[115],"due":[116],"complexity":[119],"it":[123,269],"hard":[125],"for":[126,260,286],"state-of-the-art":[127],"approaches":[128],"make":[130],"sound":[132],"over-approximation":[133],"all":[135],"possible":[137],"values":[139],"this":[144,201,253],"work,":[145],"considering":[146],"strong":[148],"connection":[149],"between":[150],"poles":[151],"filters":[154,266],"BIBO":[156,288],"stability,":[157],"propose":[159],"poles-based":[161],"invariant":[162],"over-approximate":[164,204],"ranges":[167,207],"filters.":[169,211],"Initially,":[170],"design":[172],"decomposition":[174],"iteration":[177,220],"based":[183],"derive":[187],"set":[189],"inequalities":[191],"provide":[193],"Subsequently,":[198],"generalize":[200],"approach":[202,278],"general":[209],"Moreover,":[212],"split":[214],"into":[221],"two":[222],"parts.":[223],"One":[224],"computed":[226],"precisely":[227],"analysis.":[230],"The":[231,273],"other":[232],"new":[235],"can":[238],"be":[239],"analyzed":[240],"using":[241],"our":[242,250,277],"invariant.":[243],"This":[244],"optimization":[245],"improves":[246],"precision":[248],"approach.":[251],"Leveraging":[252],"approach,":[254],"develop":[256],"prototype":[258],"tool":[259],"verifying":[261,287],"programs":[262],"related":[263],"compare":[268],"with":[270],"state-of-the-art.":[272],"results":[274],"demonstrate":[275],"delivers":[279],"more":[280],"precise":[281],"over-approximations":[282],"less":[284],"stability.":[289]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}