Current browse context:
eess.SY
Change to browse by:
References & Citations
Electrical Engineering and Systems Science > Systems and Control
Title: Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables
(Submitted on 13 Apr 2022 (v1), last revised 3 May 2022 (this version, v2))
Abstract: Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis for STL is based on Mixed-Integer Convex Programming (MICP). The MICP approach is sound and complete, but has limited scalability due to exponential complexity in the number of binary variables. In this letter, we propose a more efficient MICP encoding for STL. Our new encoding is based on the insight that disjunction can be encoded using a logarithmic number of binary variables and conjunction can be encoded without binary variables. We demonstrate in simulation examples that our proposed approach significantly outperforms the state-of-the-art for long and complex specifications. Open-source software is available at this https URL
Submission history
From: Vincent Kurtz [view email][v1] Wed, 13 Apr 2022 13:25:06 GMT (157kb,D)
[v2] Tue, 3 May 2022 13:09:12 GMT (157kb,D)
Link back to: arXiv, form interface, contact.