{"id":"https://openalex.org/W3011782648","doi":"https://doi.org/10.1109/cdc40024.2019.9030135","title":"Computer-aided verification of matrix Riccati algorithms","display_name":"Computer-aided verification of matrix Riccati algorithms","publication_year":2019,"publication_date":"2019-12-01","ids":{"openalex":"https://openalex.org/W3011782648","doi":"https://doi.org/10.1109/cdc40024.2019.9030135","mag":"3011782648"},"language":"en","primary_location":{"id":"doi:10.1109/cdc40024.2019.9030135","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc40024.2019.9030135","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 58th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://aaltodoc.aalto.fi/bitstreams/88408565-1c2f-41d8-9549-97ccde5a75aa/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082078451","display_name":"Vassilios A. Tsachouridis","orcid":null},"institutions":[{"id":"https://openalex.org/I4210159603","display_name":"United Technologies Research Center","ror":"https://ror.org/04vxc1c96","country_code":"IE","type":"company","lineage":["https://openalex.org/I4210159603"]}],"countries":["IE"],"is_corresponding":true,"raw_author_name":"Vassilios A. Tsachouridis","raw_affiliation_strings":["United Technologies Research Center Ltd., Cork, Ireland, Cork"],"affiliations":[{"raw_affiliation_string":"United Technologies Research Center Ltd., Cork, Ireland, Cork","institution_ids":["https://openalex.org/I4210159603"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003462674","display_name":"Georgios Giantamidis","orcid":null},"institutions":[{"id":"https://openalex.org/I4210159603","display_name":"United Technologies Research Center","ror":"https://ror.org/04vxc1c96","country_code":"IE","type":"company","lineage":["https://openalex.org/I4210159603"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Georgios Giantamidis","raw_affiliation_strings":["United Technologies Research Center Ltd., Cork, Ireland, Cork"],"affiliations":[{"raw_affiliation_string":"United Technologies Research Center Ltd., Cork, Ireland, Cork","institution_ids":["https://openalex.org/I4210159603"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5082078451"],"corresponding_institution_ids":["https://openalex.org/I4210159603"],"apc_list":null,"apc_paid":null,"fwci":0.1996,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.59277718,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"8073","last_page":"8078"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10792","display_name":"Matrix Theory and Algorithms","score":0.9994000196456909,"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/T10792","display_name":"Matrix Theory and Algorithms","score":0.9994000196456909,"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.9961000084877014,"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.9894000291824341,"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/computer-science","display_name":"Computer science","score":0.6292570233345032},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5799557566642761},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.5058178901672363},{"id":"https://openalex.org/keywords/matrix-algebra","display_name":"Matrix algebra","score":0.4827710688114166}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6292570233345032},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5799557566642761},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.5058178901672363},{"id":"https://openalex.org/C2988995629","wikidata":"https://www.wikidata.org/wiki/Q2915729","display_name":"Matrix algebra","level":3,"score":0.4827710688114166},{"id":"https://openalex.org/C158693339","wikidata":"https://www.wikidata.org/wiki/Q190524","display_name":"Eigenvalues and eigenvectors","level":2,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/cdc40024.2019.9030135","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc40024.2019.9030135","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 58th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},{"id":"pmh:oai:aaltodoc.aalto.fi:123456789/122480","is_oa":true,"landing_page_url":"https://aaltodoc.aalto.fi/handle/123456789/122480","pdf_url":"https://aaltodoc.aalto.fi/bitstreams/88408565-1c2f-41d8-9549-97ccde5a75aa/download","source":{"id":"https://openalex.org/S4306401663","display_name":"Aaltodoc (Aalto University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9927081","host_organization_name":"Aalto University","host_organization_lineage":["https://openalex.org/I9927081"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"G5 Artikkeliv\u00e4it\u00f6skirja"}],"best_oa_location":{"id":"pmh:oai:aaltodoc.aalto.fi:123456789/122480","is_oa":true,"landing_page_url":"https://aaltodoc.aalto.fi/handle/123456789/122480","pdf_url":"https://aaltodoc.aalto.fi/bitstreams/88408565-1c2f-41d8-9549-97ccde5a75aa/download","source":{"id":"https://openalex.org/S4306401663","display_name":"Aaltodoc (Aalto University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9927081","host_organization_name":"Aalto University","host_organization_lineage":["https://openalex.org/I9927081"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"G5 Artikkeliv\u00e4it\u00f6skirja"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3011782648.pdf","grobid_xml":"https://content.openalex.org/works/W3011782648.grobid-xml"},"referenced_works_count":10,"referenced_works":["https://openalex.org/W1592144076","https://openalex.org/W2076712618","https://openalex.org/W2089724807","https://openalex.org/W2131798279","https://openalex.org/W2144923181","https://openalex.org/W2151919388","https://openalex.org/W4300549336","https://openalex.org/W4300584385","https://openalex.org/W6980671711","https://openalex.org/W6981870711"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,50,145],"preliminary":[4],"computer-aided":[5,92],"reachability":[6,93,116,150],"analysis":[7,117],"method":[8,130],"for":[9,18,133],"the":[10,19,23,69,77,88,91,108,112,115,122,125,129],"formal":[11],"verification":[12],"of":[13,22,55,68,107,124],"matrix":[14,72],"iterative":[15],"algorithms,":[16],"used":[17,62,96],"numerical":[20,142],"solution":[21],"discrete":[24],"time":[25],"algebraic":[26],"Riccati":[27,73,85],"equation":[28,74],"(DARE).":[29],"Combining":[30],"existing":[31],"theoretical":[32],"results":[33],"with":[34],"an":[35,82],"affine":[36,148],"arithmetic":[37,149],"computational":[38,105],"framework,":[39],"it":[40,138],"is":[41,95,118,131,139],"illustrated":[42],"how":[43],"algorithmic":[44],"dynamics":[45],"can":[46],"be":[47],"formally":[48],"analysed":[49],"priori":[51],"over":[52],"predefined":[53],"sets":[54],"DARE":[56],"data.":[57],"Two":[58],"representative":[59],"algorithms":[60],"are":[61],"as":[63],"paradigms:":[64],"a)":[65],"The":[66],"iteration":[67],"respective":[70],"difference":[71],"and":[75,104,137],"b)":[76],"Newton-Raphson":[78,113],"algorithm,":[79,90,114],"applied":[80],"to":[81,97,100],"equivalent":[83],"vector":[84],"equation.":[86],"For":[87,111],"first":[89],"approach":[94],"assess":[98],"convergence":[99,123],"desired":[101],"accuracy":[102],"levels,":[103],"behaviour":[106],"algorithm\u2019s":[109],"dynamics.":[110],"focused":[119],"only":[120],"on":[121],"algorithm.":[126],"At":[127],"present,":[128],"practical":[132],"low":[134],"dimensional":[135],"problems":[136],"demonstrated":[140],"via":[141],"examples":[143],"using":[144],"custom":[146],"made":[147],"tool.":[151]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}