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
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
A convex-relaxation plus integer-programming method reduces network diameter to 12 in 1500-satellite Walker-Delta constellations, yielding end-to-end delays under 90 ms.
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
-
Inter-Satellite Link Optimization for Low-Latency Global Networking
A convex-relaxation plus integer-programming method reduces network diameter to 12 in 1500-satellite Walker-Delta constellations, yielding end-to-end delays under 90 ms.