The authors formulate robust optimization problems to synthesize controllers that maximize resilience to disturbances or minimize control effort while satisfying temporal logic specifications, providing exact solutions for linear systems and scenario-based probabilistic guarantees for nonlinear ones
Symbolic LTLf synthesis
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
-
Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
The authors formulate robust optimization problems to synthesize controllers that maximize resilience to disturbances or minimize control effort while satisfying temporal logic specifications, providing exact solutions for linear systems and scenario-based probabilistic guarantees for nonlinear ones