Synthesizing invariant barrier certificates via difference-of-convex programming (Q832194): Difference between revisions

@@ Property / describes a project that uses @@
+TRICE
@@ Property / describes a project that uses: TRICE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sostools
@@ Property / describes a project that uses: Sostools / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PENLAB
@@ Property / describes a project that uses: PENLAB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HSolver
@@ Property / describes a project that uses: HSolver / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3185235159
@@ Property / OpenAlex ID: W3185235159 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.14311
@@ Property / arXiv ID: 2105.14311 / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329974
@@ Property / cites work: Q4329974 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4821526
@@ Property / cites work: Q4821526 / rank @@
+Normal rank
@@ Property / cites work @@
+A novel approach for solving the BMI problem in barrier certificates generation
+Normal rank
@@ Property / cites work @@
+Q4698624
@@ Property / cites work: Q4698624 / rank @@
+Normal rank
@@ Property / cites work @@
+A Global Algorithm for Nonlinear Semidefinite Programming
+Normal rank
@@ Property / cites work @@
+Barrier certificates revisited
@@ Property / cites work: Barrier certificates revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Trust-Region Interior-Point SQP Algorithms for a Class of Nonlinear Programming Problems
+Normal rank
@@ Property / cites work @@
+Combining Convex–Concave Decompositions and Linearization Approaches for Solving BMIs, With Application to Static Output Feedback
+Normal rank
@@ Property / cites work @@
+Construction of parametric barrier functions for dynamical systems using interval analysis
+Normal rank
@@ Property / cites work @@
+Seeking Darboux polynomials
@@ Property / cites work: Seeking Darboux polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of the Reachability for a Family of Linear Vector Fields
+Normal rank
@@ Property / cites work @@
+Reachability Analysis for Solvable Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Global optimization for the biaffine matrix inequality problem
+Normal rank
@@ Property / cites work @@
+Constraint-Based Approach for Analysis of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Successive linearization methods for nonlinear semidefinite programs
+Normal rank
@@ Property / cites work @@
+Simulation-guided lyapunov analysis for hybrid dynamical systems
+Normal rank
@@ Property / cites work @@
+Q4693714
@@ Property / cites work: Q4693714 / rank @@
+Normal rank
@@ Property / cites work @@
+Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Symbolic reachability computation for families of linear vector fields
+Normal rank
@@ Property / cites work @@
+Q3395491
@@ Property / cites work: Q3395491 / rank @@
+Normal rank
@@ Property / cites work @@
+DC programming and DCA: thirty years of developments
+Normal rank
@@ Property / cites work @@
+An Interior Point Constrained Trust Region Method for a Special Class of Nonlinear Semidefinite Programming Problems
+Normal rank
@@ Property / cites work @@
+QSDPNAL: a two-phase augmented Lagrangian method for convex quadratic semidefinite programming
+Normal rank
@@ Property / cites work @@
+A Newton-like method for solving rank constrained linear matrix inequalities
+Normal rank
@@ Property / cites work @@
+Computing Differential Invariants of Hybrid Systems as Fixedpoints
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Constraints for Continuous Reachability in the Verification of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
+Normal rank
@@ Property / cites work @@
+Guaranteed Minimum-Rank Solutions of Linear Matrix Equations via Nuclear Norm Minimization
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Stability and stabilization of polynomial dynamical systems using Bernstein polynomials
+Normal rank
@@ Property / cites work @@
+Church's thesis meets the \(N\)-body problem
@@ Property / cites work: Church's thesis meets the \(N\)-body problem / rank @@
+Normal rank
@@ Property / cites work @@
+Decoupling abstractions of non-linear ordinary differential equations
+Normal rank
@@ Property / cites work @@
+Vector barrier certificates and comparison systems
+Normal rank
@@ Property / cites work @@
+Q3780016
@@ Property / cites work: Q3780016 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418865
@@ Property / cites work: Q4418865 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4498100
@@ Property / cites work: Q4498100 / rank @@
+Normal rank
@@ Property / cites work @@
+Local and superlinear convergence of a primal-dual interior point method for nonlinear semidefinite programming
+Normal rank
@@ Property / cites work @@
+A linear programming relaxation based approach for generating barrier certificates of hybrid systems
+Normal rank