Recursive CBF design via modified STL tree and sliding windows for nested STL specs, with QP-reconstructed CBF controller for disturbance rejection without prior disturbance knowledge.
Control barrier fun ctions for signal temporal logic tasks,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Disturbance Rejection Control under Nested Signal Temporal Logic Specifications: A Recursive Design Approach
Recursive CBF design via modified STL tree and sliding windows for nested STL specs, with QP-reconstructed CBF controller for disturbance rejection without prior disturbance knowledge.