Set Propagation Techniques for Reachability Analysis¶
Althoff, M., Frehse, G., & Girard, A. (2021). Set Propagation Techniques for Reachability Analysis. Annual Review of Control, Robotics, and Autonomous Systems, 4, 369-395.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Realized vs Possible Outcomes
- Dynamical systems (reachability) — the reachable set is the possibility set; the trajectory traced is the realized set; safety verification operates on the gap.
This sourceThe reachable set as the constructed possibility set computed by set-propagation (zonotopes, ellipsoids, level sets); safety verification operates on it rather than on sampled trajectories.
- Dynamical systems (reachability) — the reachable set is the possibility set; the trajectory traced is the realized set; safety verification operates on the gap.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:cd3cc163b614 · see in the full table