Pages that link to "Item:Q3523125"
From MaRDI portal
The following pages link to Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization (Q3523125):
Displaying 10 items.
- Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects (Q312490) (← links)
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (Q547885) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- Computing reachable sets for uncertain nonlinear monotone systems (Q988783) (← links)
- Generating invariants for non-linear hybrid systems (Q2355695) (← links)
- Reliable Robust Path Planning with Application to Mobile Robots (Q2930556) (← links)
- Interval observer design based on nonlinear hybridization and practical stability analysis (Q3008832) (← links)
- Proving the Correctness of the Implementation of a Control-Command Algorithm (Q3392923) (← links)
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems (Q3540072) (← links)
- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer (Q3624585) (← links)
