Pages that link to "Item:Q3636880"

The following pages link to Reachability Analysis of Hybrid Systems Using Support Functions (Q3636880):

Displaying 23 items.

• Efficient polyhedral enclosures for the reachable set of nonlinear control systems (Q276023) (← links)
• A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability (Q475431) (← links)
• Reachability computation for polynomial dynamical systems (Q526433) (← links)
• Computing reachable states for nonlinear biological models (Q533351) (← links)
• Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems (Q748756) (← links)
• Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← links)
• Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
• Reachability analysis of nonlinear systems using hybridization and dynamics scaling (Q1996035) (← links)
• Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (Q2031413) (← links)
• Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing (Q2060886) (← links)
• Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) (Q2105418) (← links)
• Conservative time discretization: a comparative study (Q2165508) (← links)
• Lie symmetries applied to interval integration (Q2166013) (← links)
• Construction of the minimum time function for linear systems via higher-order set-valued methods (Q2329686) (← links)
• Lagrangian methods for approximating the viability kernel in high-dimensional systems (Q2356655) (← links)
• Computational techniques for reachability analysis of Max-Plus-Linear systems (Q2409446) (← links)
• Finite data-rate feedback stabilization of switched and hybrid linear systems (Q2628418) (← links)
• Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once (Q2945598) (← links)
• Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (Q2949859) (← links)
• Verification of Hybrid Systems (Q3176388) (← links)
• Rigorous Simulation-Based Analysis of Linear Hybrid Systems (Q3303914) (← links)
• Counterexample-Guided Refinement of Template Polyhedra (Q3303915) (← links)
• Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems (Q6175620) (← links)