Pages that link to "Item:Q2986958"

The following pages link to Simulation-guided lyapunov analysis for hybrid dynamical systems (Q2986958):

Displaying 18 items.

• Review on computational methods for Lyapunov functions (Q258388) (← 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)
• Learning probabilistic termination proofs (Q832245) (← links)
• Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← links)
• Pegasus: sound continuous invariant generation (Q2147687) (← links)
• An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems (Q2178193) (← links)
• Abstraction based verification of stability of polyhedral switched systems (Q2178203) (← links)
• Deductive stability proofs for ordinary differential equations (Q2233505) (← links)
• Data driven stability analysis of black-box switched linear systems (Q2280933) (← links)
• Computational method for estimating the domain of attraction of discrete-time uncertain rational systems (Q2318807) (← links)
• Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability (Q2374569) (← links)
• Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans (Q2422015) (← links)
• Numerically-aided deductive safety proof for a powertrain control system (Q2520674) (← links)
• Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers (Q5039505) (← links)
• Automated Nonlinear Control Structure Design by Domain of Attraction Maximization with Eigenvalue and Frequency Domain Specifications (Q5053554) (← links)
• Quantifying conformance using the Skorokhod metric (Q5892423) (← links)
• Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systems (Q6165341) (← links)