The following pages link to (Q4953384):
Displayed 27 items.
- Robust stabilization of linear differential inclusions with affine uncertainty (Q411202) (← links)
- Reachability computation for polynomial dynamical systems (Q526433) (← links)
- Computing reachable states for nonlinear biological models (Q533351) (← links)
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (Q547885) (← links)
- Control of time-delayed linear differential inclusions with stochastic disturbance (Q621939) (← links)
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking (Q947801) (← links)
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes (Q988780) (← links)
- Computing reachable sets for uncertain nonlinear monotone systems (Q988783) (← links)
- Hybrid systems: From verification to falsification by combining motion planning and discrete search (Q1039839) (← links)
- Robustness of trajectories with finite time extent (Q1614418) (← links)
- On robust stability of switched systems in the context of Filippov solutions (Q1690967) (← links)
- On reachability and minimum cost optimal control (Q1888412) (← links)
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (Q2031413) (← links)
- Homogeneous feedback design of differential inclusions based on control Lyapunov functions (Q2257434) (← links)
- Description of the attainable sets of one-dimensional differential inclusions (Q2260652) (← links)
- Algorithmic analysis of polygonal hybrid systems. I: Reachability (Q2373713) (← links)
- Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis (Q2406963) (← links)
- Algorithm of uniform filling of nonlinear dynamic system reachable set based on maximin problem solution (Q2421451) (← links)
- Hybrid control of networked embedded systems (Q2512007) (← links)
- Reachability analysis of continuous-time piecewise affine systems (Q2518996) (← links)
- Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (Q2949859) (← links)
- Approximating Continuous Systems by Timed Automata (Q3506869) (← links)
- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization (Q3523125) (← links)
- Sampling-based Algorithm for Testing and Validating Robot Controllers (Q3578180) (← links)
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis (Q5117254) (← links)