Pages that link to "Item:Q868432"

The following pages link to Hybridization methods for the analysis of nonlinear systems (Q868432):

Displaying 23 items.

• Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (Q436418) (← links)
• Determination of inner and outer bounds of reachable sets through subpavings (Q475437) (← links)
• Computing reachable states for nonlinear biological models (Q533351) (← links)
• Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
• Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (Q547885) (← links)
• Reachability and stabilization of discrete-time affine systems with disturbances (Q665205) (← links)
• Computing reachable sets for uncertain nonlinear monotone systems (Q988783) (← links)
• Decentralized abstractions for multi-agent systems under coupled constraints (Q1712902) (← 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)
• Adaptive reachability algorithms for nonlinear systems using abstraction error analysis (Q2085160) (← links)
• Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} (Q2105429) (← links)
• Set-based control for disturbed piecewise affine systems with state and actuation constraints (Q2178184) (← links)
• Abstraction based verification of stability of polyhedral switched systems (Q2178203) (← links)
• Template-Based Unbounded Time Verification of Affine Hybrid Automata (Q2901366) (← 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)
• Bracketing backward reach sets of a dynamical system (Q3386553) (← links)
• Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space (Q3510811) (← links)
• Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization (Q3523125) (← links)
• Robust constrained control of piecewise affine systems through set‐based reachability computations (Q6054837) (← links)
• Accelerating parameter synthesis using semi-algebraic constraints (Q6536345) (← links)