Computation of polytopic invariants for polynomial dynamical systems using linear programming (Q1932703): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963203019
@@ Property / OpenAlex ID: W2963203019 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1256
@@ Property / arXiv ID: 1012.1256 / rank @@
+Normal rank
@@ Property / cites work @@
+Box invariance in biologically-inspired dynamical systems
+Normal rank
@@ Property / cites work @@
+Squaring the circle: an algorithm for generating polyhedral invariant sets from ellipsoidal ones
+Normal rank
@@ Property / cites work @@
+Viability theory
@@ Property / cites work: Viability theory / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling a Class of Nonlinear Systems on Rectangles
+Normal rank
@@ Property / cites work @@
+Global qualitative description of a class of nonlinear dynamical systems
+Normal rank
@@ Property / cites work @@
+Nonquadratic Lyapunov functions for robust control
+Normal rank
@@ Property / cites work @@
+Set invariance in control
@@ Property / cites work: Set invariance in control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4821526
@@ Property / cites work: Q4821526 / rank @@
+Normal rank
@@ Property / cites work @@
+Global Optimization with Polynomials and the Problem of Moments
+Normal rank
@@ Property / cites work @@
+Computing Differential Invariants of Hybrid Systems as Fixedpoints
+Normal rank
@@ Property / cites work @@
+On absolute stability analysis by polyhedral Lyapunov functions
+Normal rank
@@ Property / cites work @@
+A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
+Normal rank
@@ Property / cites work @@
+Automatic invariant generation for hybrid systems using ideal fixed points
+Normal rank
@@ Property / cites work @@
+Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
+Normal rank
@@ Property / cites work @@
+Nonlinear systems. Analysis, stability, and control
+Normal rank
@@ Property / cites work @@
+A global optimization algorithm for polynomial programming problems using a reformulation-linearization technique
+Normal rank
@@ Property / cites work @@
+New reformulation linearization/convexification relaxations for univariate and multivariate polynomial programming problems
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Unconstrained and constrained global optimization of polynomial functions in one variable
+Normal rank