{"id":"https://openalex.org/W4404238762","doi":"https://doi.org/10.1109/smacd61181.2024.10745444","title":"Formal Verification of Nonlinear Analog Circuits using State Space-Based Model Order Reduction","display_name":"Formal Verification of Nonlinear Analog Circuits using State Space-Based Model Order Reduction","publication_year":2024,"publication_date":"2024-07-02","ids":{"openalex":"https://openalex.org/W4404238762","doi":"https://doi.org/10.1109/smacd61181.2024.10745444"},"language":"en","primary_location":{"id":"doi:10.1109/smacd61181.2024.10745444","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smacd61181.2024.10745444","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 20th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD)","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/A5114592661","display_name":"Yasmine Abu-Haeyeh","orcid":null},"institutions":[{"id":"https://openalex.org/I114090438","display_name":"Goethe University Frankfurt","ror":"https://ror.org/04cvxnb49","country_code":"DE","type":"education","lineage":["https://openalex.org/I114090438"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Yasmine Abu-Haeyeh","raw_affiliation_strings":["Institute for Computer Science Goethe University,Frankfurt,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Computer Science Goethe University,Frankfurt,Germany","institution_ids":["https://openalex.org/I114090438"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038049766","display_name":"Lars Hedrich","orcid":null},"institutions":[{"id":"https://openalex.org/I114090438","display_name":"Goethe University Frankfurt","ror":"https://ror.org/04cvxnb49","country_code":"DE","type":"education","lineage":["https://openalex.org/I114090438"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Lars Hedrich","raw_affiliation_strings":["Institute for Computer Science Goethe University,Frankfurt,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Computer Science Goethe University,Frankfurt,Germany","institution_ids":["https://openalex.org/I114090438"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5826,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.6909249,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"4"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9976000189781189,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9976000189781189,"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/T11206","display_name":"Model Reduction and Neural Networks","score":0.9876000285148621,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13286","display_name":"Modeling and Simulation Systems","score":0.9793000221252441,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.6991170048713684},{"id":"https://openalex.org/keywords/partial-order-reduction","display_name":"Partial order reduction","score":0.6675426959991455},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.6177797317504883},{"id":"https://openalex.org/keywords/analogue-electronics","display_name":"Analogue electronics","score":0.5921542048454285},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.5711694359779358},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.53294837474823},{"id":"https://openalex.org/keywords/model-order-reduction","display_name":"Model order reduction","score":0.4724835753440857},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.4637155532836914},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4618270993232727},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.46043461561203003},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38268518447875977},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.28696101903915405},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.28179264068603516},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.1261659562587738},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10648459196090698},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.10258367657661438},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.0770706832408905}],"concepts":[{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.6991170048713684},{"id":"https://openalex.org/C94633896","wikidata":"https://www.wikidata.org/wiki/Q7140378","display_name":"Partial order reduction","level":3,"score":0.6675426959991455},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.6177797317504883},{"id":"https://openalex.org/C29074008","wikidata":"https://www.wikidata.org/wiki/Q174925","display_name":"Analogue electronics","level":3,"score":0.5921542048454285},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.5711694359779358},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.53294837474823},{"id":"https://openalex.org/C2779277453","wikidata":"https://www.wikidata.org/wiki/Q12202921","display_name":"Model order reduction","level":3,"score":0.4724835753440857},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.4637155532836914},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4618270993232727},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.46043461561203003},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38268518447875977},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28696101903915405},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.28179264068603516},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.1261659562587738},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10648459196090698},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.10258367657661438},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0770706832408905},{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/smacd61181.2024.10745444","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smacd61181.2024.10745444","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 20th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W2028924344","https://openalex.org/W2064733273","https://openalex.org/W2088872157","https://openalex.org/W2128919817","https://openalex.org/W2133642820","https://openalex.org/W2152220626","https://openalex.org/W2167848581","https://openalex.org/W2287745184","https://openalex.org/W2522513585","https://openalex.org/W2576277975","https://openalex.org/W2945593694","https://openalex.org/W3013848658"],"related_works":["https://openalex.org/W2804745155","https://openalex.org/W2892268670","https://openalex.org/W2990690886","https://openalex.org/W2116027328","https://openalex.org/W2151499748","https://openalex.org/W4236718688","https://openalex.org/W2102298685","https://openalex.org/W2734868194","https://openalex.org/W1981499043","https://openalex.org/W1562560640"],"abstract_inverted_index":{"Safety-relevant":[0],"analog":[1,26,99,131],"implementations":[2],"of,":[3],"e.g.,":[4],"sensor-actuator":[5],"interfaces,":[6],"demand":[7],"formal":[8,14,116],"verification":[9,15,117],"methodologies.":[10],"However,":[11],"a":[12,31,77],"direct":[13],"is":[16],"not":[17],"feasible":[18],"due":[19],"to":[20,97,141],"the":[21,50,55,61,72,123],"complexity":[22],"and":[23,59,92],"nonlinearity":[24],"of":[25,53,125,138],"circuits.":[27],"This":[28],"paper":[29],"employs":[30],"state":[32,57],"space-based":[33],"nonlinear":[34,56,130],"model":[35,42,89],"order":[36,43],"reduction":[37,44],"(MOR)":[38],"approach":[39,127],"with":[40,66,76,101],"well-suited":[41],"techniques":[45],"for":[46,115],"linearization":[47],"points.":[48],"From":[49],"original":[51],"method":[52,82],"sampling":[54],"space":[58],"clustering":[60],"sampled":[62],"points":[63],"into":[64],"regions":[65],"similar":[67],"dynamic":[68],"behavior,":[69],"we":[70],"replaced":[71],"dominant":[73],"pole":[74],"MOR":[75,143],"modified":[78],"Krylov":[79],"subspace":[80],"projection":[81],"based":[83],"on":[84,128],"Pad\u00e9-via-Lanczos":[85],"(PVL).":[86],"The":[87,107],"reduced":[88],"quality":[90],"improves":[91],"becomes":[93],"numerically":[94],"stable":[95],"enough":[96],"handle":[98],"circuits":[100,132],"hundreds":[102],"or":[103],"more":[104],"(parasitic)":[105],"poles.":[106],"generated":[108],"Hybrid":[109],"Automata":[110],"(HA)":[111],"can":[112],"be":[113],"utilized":[114],"via":[118],"reachability":[119],"analysis.":[120],"We":[121],"demonstrated":[122],"effectiveness":[124],"our":[126],"four":[129],"accomplishing":[133],"significantly":[134],"less":[135],"approximation":[136],"errors":[137],"25X":[139],"compared":[140],"other":[142],"methods.":[144]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}