Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts

Liu, Siyuan; Saoud, Adnane; Jagtap, Pushpak; Dimarogonas, Dimos V. und Zamani, Majid (2022): Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. IEEE 61st Conference on Decision and Control (CDC), Cancun, Mexico, 06-09 December 2022. In: 2022 IEEE 61st Conference on Decision and Control (CDC), Piscataway, NJ, USA: IEEE. S. 2184-2189

Abstract

In this paper, we focus on the problem of compositional synthesis of controllers enforcing signal temporal logic (STL) tasks over a class of continuous-time nonlinear interconnected systems. By leveraging the idea of funnel-based control, we show that a fragment of STL specifications can be formulated as assume-guarantee contracts. A new concept of contract satisfaction is then defined to establish our compositionality result, which allows us to guarantee the satisfaction of a global contract by the interconnected system when all subsystems satisfy their local contracts. Based on this compositional framework, we then design closed-form continuous-time feedback controllers to enforce local contracts over subsystems in a decentralized manner. Finally, we demonstrate the effectiveness of our results on a numerical example.

• Dokumententyp: Konferenzbeitrag (Paper)
• Fakultät: Mathematik, Informatik und Statistik > Informatik
• Themengebiete: 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik
• Ort: Piscataway, NJ, USA
• Sprache: Englisch