Pages that link to "Item:Q2983261"
From MaRDI portal
The following pages link to Reachability Analysis of Nonlinear Differential-Algebraic Systems (Q2983261):
Displaying 11 items.
- Solving non-linear constraint satisfaction problems involving time-dependent functions (Q475451) (← links)
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis (Q2085160) (← links)
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) (Q2105418) (← links)
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives (Q2123411) (← links)
- A dynamic quantized state system execution framework for hybrid automata (Q2178226) (← links)
- Robust self-triggered control for time-varying and uncertain constrained systems via reachability analysis (Q2280887) (← links)
- Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities (Q2665719) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Probabilistic performance validation of deep learning‐based robust NMPC controllers (Q6060779) (← links)
- Symbolic control for stochastic systems via finite parity games (Q6122792) (← links)
- New conditions on finite-time stability of linear discrete-time system (Q6157352) (← links)
