Integer-Free Control Synthesis for Signal Temporal Logic via Ranked Implicants

arXiv:2610.20969 · eess.SY, cs.SY · Submitted 2026-10-14 · Read on arXiv

eess.SY, cs.SY

Submitted: 2026-10-14

Updated: 2026-10-14

Comments: 7 pages, 2 figures

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Signal Temporal Logic — 2× in this paper
• Multi-Agent System — 1× in this paper · explained in 7 episodes
• Robustness — 1× in this paper · explained in 5 episodes
• Signal Temporal Logic (STL) — 1× in this paper · explained in 4 episodes

Related papers

• One Request, Multiple Experts: LLM Orchestrates Domain Specific Models via Adaptive Task Routing
• A Geometric Decision Procedure for STL Feasibility and Repair
• From Asymptotic to Designer-Assigned-Time Control: A Review of Stability Notions, Design Mechanisms, and Controller Architectures
• Battery Second Life: A Review of Experimental Studies
• Submodular Multi-Agent Policy Learning for Online Distributed Task Allocation in Open Multi-Agent Systems
• Policy-Level Recursive Self-Improvement for Embodied AI with a Criticality World Model