The following pages link to (Q4953393):
Displaying 31 items.
- Computing reachable states for nonlinear biological models (Q533351) (← links)
- Properties of the optimal ellipsoids approximating the reachable sets of uncertain systems (Q597145) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- Understanding deadlock and livelock behaviors in hybrid control systems (Q924105) (← links)
- Reachability analysis of linear systems using support functions (Q988781) (← links)
- Ellipsoidal state estimation for dynamical systems (Q999473) (← links)
- Convexity of the set of fixed points generated by some control systems (Q1034025) (← links)
- Ellipsoidal techniques for reachability analysis: Internal approximation (Q1583480) (← links)
- On reachability and minimum cost optimal control (Q1888412) (← links)
- Robust data-driven predictive control using reachability analysis (Q2095289) (← links)
- A dimensionality reduction method for computing reachable tubes based on piecewise pseudo-time dependent Hamilton-Jacobi equation (Q2101978) (← links)
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) (Q2105418) (← 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)
- Safety preserving control synthesis for sampled data systems (Q2252964) (← links)
- Analysis on reachable set for spacecraft relative motion under low-thrust (Q2307548) (← links)
- Lagrangian methods for approximating the viability kernel in high-dimensional systems (Q2356655) (← links)
- Algorithmic analysis of polygonal hybrid systems. I: Reachability (Q2373713) (← links)
- Hybrid abstractions of affine systems (Q2496812) (← links)
- Control design for autonomous vehicles: a dynamic optimization perspective (Q2512146) (← links)
- Alexander Borisovich Kurzhanskiĭ (on the occasion of his 75th birthday) (Q2631289) (← links)
- An invariant-based approach to the design of hybrid control systems (Q2716783) (← links)
- Reachability Analysis and Deterministic Global Optimization of DAE Models (Q2795640) (← links)
- Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once (Q2945598) (← links)
- Trajectory Based Verification Using Local Finite-Time Invariance (Q3624574) (← links)
- Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems (Q3624580) (← links)
- From Control Invariant Sets to an Inverse Optimality Perspective on the Constrained Control Design (Q5054400) (← links)
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (Q5458327) (← links)
- Dynamic optimization for reachability problems. (Q5929413) (← links)
- A zonotopic framework for functional abstractions (Q5962973) (← links)
