Pages that link to "Item:Q3083226"

The following pages link to Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions (Q3083226):

Displaying 37 items.

• Computation of Lyapunov functions for systems with multiple local attractors (Q255801) (← links)
• Review on computational methods for Lyapunov functions (Q258388) (← links)
• Weak and strong solvability of interval linear systems of equations and inequalities (Q389688) (← links)
• Efficient solution of a class of quantified constraints with quantifier prefix exists-forall (Q475420) (← links)
• Construction of parametric barrier functions for dynamical systems using interval analysis (Q518335) (← links)
• Synthesizing invariant barrier certificates via difference-of-convex programming (Q832194) (← links)
• A semi-algebraic approach for asymptotic stability analysis (Q1036644) (← links)
• Estimations of the domains of attraction for classes of nonlinear continuous polynomial systems (Q1640457) (← links)
• Flow functions, control flow functions, and the reach control problem (Q1689356) (← links)
• Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions (Q1690489) (← links)
• Estimating the robust domain of attraction for non-smooth systems using an interval Lyapunov equation (Q1737666) (← links)
• Probabilistic basin of attraction and its estimation using two Lyapunov functions (Q1791059) (← links)
• Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems (Q1949085) (← links)
• An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
• Vector barrier certificates and comparison systems (Q2024361) (← links)
• System specific triangulations for the construction of CPA Lyapunov functions (Q2056177) (← links)
• Inner-approximating domains of attraction for discrete-time switched systems via multi-step multiple Lyapunov-like functions (Q2061252) (← links)
• Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← links)
• OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations (Q2154032) (← links)
• Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications (Q2165975) (← links)
• An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems (Q2178193) (← links)
• Computation and verification of contraction metrics for exponentially stable equilibria (Q2226305) (← links)
• Revised CPA method to compute Lyapunov functions for nonlinear systems (Q2260419) (← links)
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
• Analysis of a cancer dormancy model and control of immuno-therapy (Q2351775) (← links)
• A review of computation of mathematically rigorous bounds on optima of linear programs (Q2399497) (← links)
• Discovering polynomial Lyapunov functions for continuous dynamical systems (Q2437283) (← links)
• Computing Capture Tubes (Q2803603) (← links)
• Sufficient and necessary conditions for discrete-time nonlinear switched systems with uniform local exponential stability (Q2821371) (← links)
• Some decidable results on reachability of solvable systems (Q2871582) (← links)
• Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once (Q2945598) (← links)
• Bracketing backward reach sets of a dynamical system (Q3386553) (← links)
• Characterizations and Criteria for Synchronization of Heterogeneous Networks to Linear Subspaces (Q4599721) (← links)
• Automatic Determination of Connected Sublevel Sets of CPA Lyapunov Functions (Q5109376) (← links)
• Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (Q5206959) (← links)
• Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems (Q5858104) (← links)
• Learning safe neural network controllers with barrier certificates (Q5918375) (← links)