Pages that link to "Item:Q5308346"
From MaRDI portal
The following pages link to Numerical Software with Result Verification (Q5308346):
Displaying 4 items.
- Set membership state and parameter estimation for systems described by nonlinear differential equations (Q705483) (← links)
- Interval methods and contractor-based branch-and-bound procedures for verified parameter identification of quasi-linear cooperative system models (Q2332778) (← links)
- Guaranteed nonlinear state estimator for cooperative systems (Q2387762) (← links)
- Reliable Robust Path Planning with Application to Mobile Robots (Q2930556) (← links)