{"entities":{"Q495857":{"pageid":497624,"ns":120,"title":"Item:Q495857","lastrevid":52345805,"modified":"2026-01-22T09:50:28Z","type":"item","id":"Q495857","labels":{"en":{"language":"en","value":"Fast verified computation for solutions of continuous-time algebraic Riccati equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6482433"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495857$148AF7F7-DD1C-4592-A7F5-5C3A26E8759A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76e8a8df962da4fb68faae35b9bf46c8e8e22122","datavalue":{"value":{"text":"Fast verified computation for solutions of continuous-time algebraic Riccati equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q495857$FC465935-E050-43A1-8D21-4CE70E0C4BA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07a3af6abc1d8155b404d37591ddfacf02bd6569","datavalue":{"value":"1329.65093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495857$722F930A-3185-428C-8E96-45448C11786A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"419ed4b462d7cbb2421f060d77367005a3924058","datavalue":{"value":{"entity-type":"item","numeric-id":389545,"id":"Q389545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495857$855F9442-9EDE-485F-AD47-D072CBB11A7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"50de7b9ed51593cffb5647baaa00c046f50e702c","datavalue":{"value":{"entity-type":"item","numeric-id":189352,"id":"Q189352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495857$93191388-CACF-409A-84E9-5261FD41871F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e1f4c45c20efe387142809b033c238de6f0855d","datavalue":{"value":{"time":"+2015-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q495857$BFE6A17D-7D6F-4CEB-A57E-5086DFC1C1D6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0fa33ef50751e6a6e1208cacac4dd100acf0ece5","datavalue":{"value":"The author presents a theory for computing an interval matrix which contains a solution of the continuous-time algebraic Riccati equation \\(A^\\ast X + XA -XBX + C = 0\\), where \\(A, B, C \\in \\mathbb{C}^{n \\times n}\\) are given matrices, \\(B\\) and \\(C\\) are Hermitian and \\(A^\\ast\\) denotes the conjugate transpose of \\(A\\). Based on this theory a fast algorithm for enclosing solutions of such equations is developed. The algorithm makes use of numerical spectral decomposition of \\((A - B {\\tilde X})^\\ast\\), where \\({\\tilde X}\\) is a numerically determined solution of the considered Riccati equation. This algorithm requires \\({\\mathcal O}(n^3)\\) operations. Additionally, the uniqueness as well as the stabilizing and anti-stabilizing properties of the contained solution can be verified by the proposed algorithm. For illustrating the algorithm numerical examples are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q495857$57AAD756-2988-40C1-B77A-E03DA300B952","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3d1fc9742b2aa47ee3fa5235cc1ed4d6e7313c7a","datavalue":{"value":{"entity-type":"item","numeric-id":588361,"id":"Q588361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495857$20748553-5CDC-4563-A7E8-1461248EA622","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7552bdbce121bf883055f4f08f72933da7729068","datavalue":{"value":"65G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495857$7E3EDEFD-C71F-4714-A293-66B718AB0C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b06ff2ef9e04b42ff2c5c43e297cd9d734a55887","datavalue":{"value":"15A24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495857$3584BEC0-BCE0-4DC4-9CE3-953F54ECE40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72309745094959b676ca20810c7af21a33fe24b5","datavalue":{"value":"65F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495857$E13A9175-3C49-4F06-B702-2D9862BF16C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dbba85562facd3e546df50a87515dddbb3dae27e","datavalue":{"value":"93C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495857$82414161-173F-44F6-A233-25F4391D33E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d2aa49789d35e35613e1a84ce4788bfee1559e6","datavalue":{"value":"65G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495857$E9B11A5C-F56D-46F6-AF47-F6C88D7E6566","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1af0302e5263f8092f84a1eb90111a049bf8dae0","datavalue":{"value":"6482433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495857$C98B0FBB-2569-4B95-A7F3-0BD938682334","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a90e2d723b369764ae98455255b6e80238942c2","datavalue":{"value":"algebraic Riccati equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q495857$8DB7953C-FC72-47CD-80DD-929F6FC775C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"826b48861fc41d20ca236ce8de3fe220c943e2ca","datavalue":{"value":"stabilizing solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q495857$80AE0BD7-1040-4345-B3DD-F1734FB8624B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aeba89ca924fcec3a5675b10e3dcf02d05673b1","datavalue":{"value":"verified computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q495857$ABA48884-FC69-47C7-9C5F-43EA1A297765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44e0460de8b89a3695e54806f9b749b49a67a49","datavalue":{"value":"interval arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q495857$46C5A333-FE40-4B7B-A52B-72E60782E9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q495857$6CFEE9EA-7F8B-4EFC-B47E-3A790747972B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37318345779707692012b8c7959755f9c69b2691","datavalue":{"value":"numerical example","type":"string"},"datatype":"string"},"type":"statement","id":"Q495857$9C3B4129-CB70-4BC4-AC22-485A0D8E421B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcd2724f6e8447a24419ed553b7520f7a96db016","datavalue":{"value":{"entity-type":"item","numeric-id":16194,"id":"Q16194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495857$910AAF5B-5B8F-498F-840C-9BB94BAEE462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"29915a6cfd34f7a000cc64f40655542c51b2b8bc","datavalue":{"value":{"entity-type":"item","numeric-id":23603,"id":"Q23603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495857$667BB20E-AEFF-4E63-BE47-CAADE398FB2C","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495857$B4F0C8B6-172F-4D8D-9AD2-81175F3F167C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88e71b171c22717eb4da232ce7c915afc7a9d655","datavalue":{"value":"https://doi.org/10.1007/s13160-015-0178-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q495857$BA6140FE-D860-4128-B805-5F353170C1E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"319e56085f29fcdc5f49eef33c152f10ae73d4d4","datavalue":{"value":"W606574052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495857$C84DF7D5-34A0-40E7-BFEA-85079B9F9B48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a462f97a14149f26095e85bb29dcdaa29aa187a","datavalue":{"value":{"entity-type":"item","numeric-id":4949347,"id":"Q4949347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495857$BBA2DC6F-C94B-4A43-8F96-C1CA50DCFB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b113d081da690cf9f4ac566c5135fb485d7a993","datavalue":{"value":{"entity-type":"item","numeric-id":3048151,"id":"Q3048151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495857$E70BF3CD-E206-417A-88F2-BB5514E3D37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334edc4552e8ae4137f3496c24cc6a9678282bff","datavalue":{"value":{"entity-type":"item","numeric-id":3117188,"id":"Q3117188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495857$F821D0F7-BAB4-4FA6-914D-3E06A076948D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e6c1d70e67f034b04a9978fccae2ed92ba46bc7","datavalue":{"value":{"entity-type":"item","numeric-id":4303969,"id":"Q4303969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495857$0BBE4723-D500-4735-A751-3C12941B24F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"023045e2b2d8c1c2d1d924006e22b6764ed57f28","datavalue":{"value":{"entity-type":"item","numeric-id":2536416,"id":"Q2536416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495857$3B4468FA-D087-4D2A-A57C-4EA5A0835575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b3891450b3eceded1868c22b2a6c6a405cca8f0","datavalue":{"value":{"entity-type":"item","numeric-id":4949348,"id":"Q4949348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495857$3B8EC843-5389-42B2-AEF0-A9A8CBD625AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e874bf86ba4936c793a66726f6732ed7085c8caf","datavalue":{"value":{"entity-type":"item","numeric-id":4485695,"id":"Q4485695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495857$35C17FEF-7F6C-44A9-AF5E-6DF9DE0C2666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8358ed0fb02633640c09145c8842f7202bb37c80","datavalue":{"value":{"entity-type":"item","numeric-id":389546,"id":"Q389546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495857$CA6922CE-D7E8-4E60-B415-3EF44CBAE4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faef2603335353318e00bf5bfb53f7bedb7539f9","datavalue":{"value":{"entity-type":"item","numeric-id":2936594,"id":"Q2936594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495857$740D2FF8-D7C8-4942-8CF7-F4EE627A985D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06184e949c523eed5a2b9779fcef8d90c800f08c","datavalue":{"value":"10.1007/S13160-015-0178-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495857$71822E77-792F-4A15-9152-94C9C023E3E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61181f11a544623ba9f0fe8297c81fa188fd487","datavalue":{"value":{"entity-type":"item","numeric-id":515787,"id":"Q515787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cae4660445d9daf2c0efea7e722de22be9eebe6","datavalue":{"value":{"amount":"+0.9009262919425964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q495857$95A30FB3-2C01-48B3-A380-50672A0D96C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"280de53d305e96655c8a59a76f88a51c69e2d62b","datavalue":{"value":{"entity-type":"item","numeric-id":344315,"id":"Q344315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3115dd076959fca011a88b735d5f108c28e37102","datavalue":{"value":{"amount":"+0.8915923237800598","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q495857$3F6B8E2B-3035-41A0-BDFD-577F499654F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7dd4982150a941473d2e882c16e47e011dae346","datavalue":{"value":{"entity-type":"item","numeric-id":1713151,"id":"Q1713151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e394ecb7b9ded9a5908f7530a72281fd6c609c","datavalue":{"value":{"amount":"+0.8793507814407349","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q495857$0C6E497A-2F44-4FF4-A8AA-B087490DFF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf0175ac2d7610982159bc278ed391ded231f89","datavalue":{"value":{"entity-type":"item","numeric-id":4634228,"id":"Q4634228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c5b18e8aea14423ffbf429216047c31915c1aac","datavalue":{"value":{"amount":"+0.8772141337394714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q495857$F22B3C49-0A79-46B8-8818-E8A0060E2A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f265ea6dbcf907601f392e167514fe6eabd61c86","datavalue":{"value":{"entity-type":"item","numeric-id":2009471,"id":"Q2009471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f791a5f7eb74414cd2bb35c42d6bc70d791a0901","datavalue":{"value":{"amount":"+0.8771077394485474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q495857$4334A210-C10D-4BCE-815B-88B08546F491","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:495857","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:495857"}}}}}