Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations (Q344315): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+F30
@@ Property / Mathematics Subject Classification ID: 65F30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A24
@@ Property / Mathematics Subject Classification ID: 15A24 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F10
@@ Property / Mathematics Subject Classification ID: 65F10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G20
@@ Property / Mathematics Subject Classification ID: 65G20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G30
@@ Property / Mathematics Subject Classification ID: 65G30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6655223
@@ Property / zbMATH DE Number: 6655223 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+algebraic Riccati equation
@@ Property / zbMATH Keywords: algebraic Riccati equation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+stabilizing solution
@@ Property / zbMATH Keywords: stabilizing solution / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+interval arithmetic
@@ Property / zbMATH Keywords: interval arithmetic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+verified computation
@@ Property / zbMATH Keywords: verified computation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Krawczyk's method
@@ Property / zbMATH Keywords: Krawczyk's method / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+numerical example
@@ Property / zbMATH Keywords: numerical example / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+alternating direction implicit procedure
@@ Property / zbMATH Keywords: alternating direction implicit procedure / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+mftoolbox
@@ Property / describes a project that uses: mftoolbox / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PGDoubling
@@ Property / describes a project that uses: PGDoubling / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Algorithm 432
@@ Property / describes a project that uses: Algorithm 432 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2962958240
@@ Property / OpenAlex ID: W2962958240 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02015
@@ Property / arXiv ID: 1509.02015 / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical Solution of Algebraic Riccati Equations
@@ Property / cites work: Numerical Solution of Algebraic Riccati Equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850020
@@ Property / cites work: Q4850020 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification methods: Rigorous results using floating-point arithmetic
+Normal rank
@@ Property / cites work @@
+Q4949348
@@ Property / cites work: Q4949348 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast verified computation for solutions of continuous-time algebraic Riccati equations
+Normal rank
@@ Property / cites work @@
+Verified Computation of Square Roots of a Matrix
@@ Property / cites work: Verified Computation of Square Roots of a Matrix / rank @@
+Normal rank
@@ Property / cites work @@
+Doubling Algorithms with Permuted Lagrangian Graph Bases
+Normal rank
@@ Property / cites work @@
+A numerical method for computing the Hamiltonian Schur form
+Normal rank
@@ Property / cites work @@
+Q3583363
@@ Property / cites work: Q3583363 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Interval Analysis
@@ Property / cites work: Introduction to Interval Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4303969
@@ Property / cites work: Q4303969 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2765413
@@ Property / cites work: Q2765413 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing enclosures for the inverse square root and the sign function of a matrix
+Normal rank
@@ Property / cites work @@
+Functions of Matrices
@@ Property / cites work: Functions of Matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm 432 [C2]: Solution of the matrix equation AX + XB = C [F4]
+Normal rank
@@ Property / cites work @@
+Verified error bounds for solutions of Sylvester matrix equations
+Normal rank
@@ Property / cites work @@
+Efficient computation of enclosures for the exact solvents of a quadratic matrix equation
+Normal rank
@@ Property / cites work @@
+Q5619754
@@ Property / cites work: Q5619754 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Enclosure for All Eigenvalues and Invariant Subspaces in Generalized Eigenvalue Problems
+Normal rank
@@ Property / cites work @@
+Iterative solution of the Lyapunov matrix equation
+Normal rank
@@ Property / cites work @@
+Q4917542
@@ Property / cites work: Q4917542 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:344315