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.
An automata-theoretic approach to linear t empo- ral logic,
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.