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

@@ 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