The feasible states for a sequence of reach-avoid tasks under disturbances are exactly the super-level set of a value function built from a cascade of Hamilton-Jacobi variational inequalities.
Formal Methods for Control Synthesis: An Optimization Perspective
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
eess.SY 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis
The feasible states for a sequence of reach-avoid tasks under disturbances are exactly the super-level set of a value function built from a cascade of Hamilton-Jacobi variational inequalities.