Safety verification for distributed parameter systems using barrier functionals (Q1678571): Difference between revisions

@@ Property / cites work @@
+Applied Analysis of the Navier-Stokes Equations
@@ Property / cites work: Applied Analysis of the Navier-Stokes Equations / rank @@
+Normal rank
@@ Property / cites work @@
+Dissipation inequalities for the analysis of a class of PDEs
+Normal rank
@@ Property / cites work @@
+Ellipsoidal techniques for reachability analysis: Internal approximation
+Normal rank
@@ Property / cites work @@
+Barrier certificates for nonlinear model validation
+Normal rank
@@ Property / cites work @@
+A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
+Normal rank
@@ Property / cites work @@
+Converse Barrier Certificate Theorems
@@ Property / cites work: Converse Barrier Certificate Theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Stabilization with relaxed controls
@@ Property / cites work: Stabilization with relaxed controls / rank @@
+Normal rank
@@ Property / cites work @@
+A `universal' construction of Artstein's theorem on nonlinear stabilization
+Normal rank
@@ Property / cites work @@
+Stabilization with guaranteed safety using control Lyapunov-Barrier function
+Normal rank
@@ Property / cites work @@
+Stability Analysis for a Class of Partial Differential Equations via Semidefinite Programming
+Normal rank
@@ Property / cites work @@
+Bounds on linear PDEs via semidefinite optimization
+Normal rank
@@ Property / cites work @@
+An optimal Poincaré inequality for convex domains
+Normal rank
@@ Property / cites work @@
+A Survey of the S-Lemma
@@ Property / cites work: A Survey of the S-Lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition
+Normal rank
@@ Property / cites work @@
+Q4794126
@@ Property / cites work: Q4794126 / rank @@
+Normal rank
@@ Property / cites work @@
+The Mathematics of Financial Derivatives
@@ Property / cites work: The Mathematics of Financial Derivatives / rank @@
+Normal rank
@@ Property / cites work @@
+Construction of an optimal background profile for the Kuramoto-Sivashinsky equation using semidefinite programming
+Normal rank
@@ Property / cites work @@
+On global stabilization of Burgers' equation by boundary control.
+Normal rank
@@ Property / cites work @@
+Global Stabilization of a Korteweg--De Vries Equation With Saturating Distributed Control
+Normal rank
@@ Property / cites work @@
+Q4848744
@@ Property / cites work: Q4848744 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4651859
@@ Property / cites work: Q4651859 / rank @@
+Normal rank
@@ Property / cites work @@
+Dissipative operators in a Banach space
@@ Property / cites work: Dissipative operators in a Banach space / rank @@
+Normal rank