Pages that link to "Item:Q2982909"
From MaRDI portal
The following pages link to Reachability Analysis of Nonlinear Systems Using Matrix Measures (Q2982909):
Displaying 17 items.
- Improved reachable set bounding for linear time-delay systems with disturbances (Q326146) (← links)
- Matrix measures in the qualitative analysis of parametric uncertain systems (Q1036479) (← links)
- The computation of the viability kernel for switched systems (Q1713546) (← links)
- Reachability of higher-order logical control networks via matrix method (Q1733543) (← links)
- Pairs of \(k\)-step reachability and \(m\)-step observability matrices (Q2017187) (← links)
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884) (← links)
- Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities (Q2307740) (← links)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems (Q2374566) (← links)
- Viability, viscosity, and storage functions in model-predictive control with terminal constraints (Q2665391) (← links)
- Reachability Analysis of Nonlinear Differential-Algebraic Systems (Q2983261) (← links)
- On Reachability Analysis of Nonlinear Systems with Joint Integral Constraints (Q3297441) (← links)
- (Q4417974) (← links)
- The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems (Q4982088) (← links)
- NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems (Q5166710) (← links)
- Hybrid Systems: Computation and Control (Q5898989) (← links)
- Controlled descent training (Q6197966) (← links)
