Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition
From MaRDI portal
Publication:4681645
DOI10.1007/10997703_2zbMath1138.93391OpenAlexW2312849699MaRDI QIDQ4681645
Stephen Prajna, Antonis Papachristodoulou
Publication date: 24 June 2005
Published in: Positive Polynomials in Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/10997703_2
Nonlinear systems in control theory (93C10) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05)
Related Items
Generalized nonlinear ℋ︁∞ synthesis condition with its numerically efficient solution, Nonlinear analysis of vehicle control actuations based on controlled invariant sets, Linearly Solvable Stochastic Control Lyapunov Functions, Toward unified analysis and controller synthesis for a class of hybrid systems, Barrier certificates for nonlinear model validation, Local input-to-state stabilization and ℓ ∞ -induced norm control of discrete-time quadratic systems, Analysis of partial stability problems using sum of squares techniques, Stability analysis of networked control systems: a sum of squares approach, Nonlinear state feedback control for a class of polynomial nonlinear discrete-time systems with norm-bounded uncertainties: an integrator approach, An obstacle avoidance model predictive control scheme for mobile robots subject to nonholonomic constraints: a sum-of-squares approach, Biochemical systems theory: a review, Hybridization methods for the analysis of nonlinear systems, A sum of squares approach to backstepping controller synthesis for piecewise affine and polynomial systems, Abstraction based verification of stability of polyhedral switched systems, Safety verification for distributed parameter systems using barrier functionals, Stabilization of rational nonlinear discrete-time systems by state feedback and static output feedback, Robust \(\mathcal H_\infty\) fuzzy control of discrete nonlinear networked control systems: a SOS approach, Uniform exponential stability criteria with verification for nonautonomous switched nonlinear systems with uncertainty, Approximation of Lyapunov functions from noisy data, Consensus verification for heterogeneous polynomial networked systems, Global stability analysis of fluid flows using sum-of-squares, Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems, A novel moving orthonormal coordinate-based approach for region of attraction analysis of limit cycles, Improved polynomial fuzzy modeling and controller with stability analysis for nonlinear dynamical systems, Lyapunov stability for continuous-time multidimensional nonlinear systems, Data-driven asymptotic stabilization for discrete-time nonlinear systems, Polynomial LPV approach to robust H∞ control of nonlinear sampled-data systems, Low complexity constrained control using higher degree Lyapunov functions, Estimating the domain of attraction for non-polynomial systems via LMI optimizations, A unified dissipativity approach for stability analysis of piecewise smooth systems, Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming, Property-directed incremental invariant generation, Estimating the robust domain of attraction for non-smooth systems using an interval Lyapunov equation, Stabilisation of discrete-time polynomial fuzzy systems via a polynomial lyapunov approach, A multiple-comparison-systems method for distributed stability analysis of large-scale nonlinear systems, Construction of parametric barrier functions for dynamical systems using interval analysis, Robust nonlinear stability and performance analysis of an F/A‐18 aircraft model using sum of squares programming, A polynomial approach for stability analysis of switched systems, Robust semidefinite programming problems with general nonlinear parameter dependence: approaches using the DC-representations, Approximation of Model Predictive Control Laws for Polynomial Systems, A sum of squares approach to robust PI controller synthesis for a class of polynomial multi-input multi-output nonlinear systems, Stability analysis of nonlinear time-delayed systems with application to biological models, Stability analysis and H∞ control design for a class of nonlinear time‐delay systems, Volterra series approximation for rational nonlinear system, Decompositional Construction of Lyapunov Functions for Hybrid Systems, A semi-algebraic approach for asymptotic stability analysis, Exponential stabilisation of nonlinear parameter-varying systems with applications to conversion flight control of a tilt rotor aircraft, A generalised integral polynomial Lyapunov function for nonlinear systems, Equivalence of sum of squares convex relaxations for quadratic distance problems, Stability Domains for Quadratic-Bilinear Reduced-Order Models, Bounds for Deterministic and Stochastic Dynamical Systems using Sum-of-Squares Optimization, Modelling and control of flexible joint robot based on Takagi–Sugeno fuzzy approach and its stability analysis via sum of squares, Local stability analysis and domain of attraction estimation for a class of uncertain nonlinear discrete-time systems, Advances in computational Lyapunov analysis using sum-of-squares programming
Uses Software
