512 B
512 B
Short answer, it isn't.
There's a lot of papers that do 'robust control synthesis and verification' but the verification is actually formal methods
- farzanRobustControlSynthesis2020
- Uses reach tubes to claim robustness.
- Verification is several trials with one single plant perturbation.
- Different initial conditions for sure, but the plant is only changed once, and is actually a structured perturbation (20% less stiffness)
I hate robot people. They use the word robust too softly.