ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

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

Liu, S and Saoud, A and Jagtap, P and Dimarogonas, DV and Zamani, M (2022) Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. In: Proceedings of the IEEE Conference on Decision and Control, 6 - 9 December 2022, Cancun, pp. 2184-2189.

CDC_2022.pdf - Published Version

Download (1MB) | Preview
Official URL: https://doi.org/10.1109/CDC51059.2022.9992715


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. © 2022 IEEE.

Item Type: Conference Paper
Publication: Proceedings of the IEEE Conference on Decision and Control
Publisher: Institute of Electrical and Electronics Engineers Inc.
Additional Information: The copyright for this article belongs to the Authors.
Keywords: Computer circuits; Continuous time systems; Large scale systems; Model checking, Closed form; Compositional synthesis; Compositionality; Continous time; Decentralised; Feedback controller; Nonlinear interconnected systems; Temporal logic specifications, Temporal logic
Department/Centre: Division of Interdisciplinary Sciences > Robert Bosch Centre for Cyber Physical Systems
Date Deposited: 13 Feb 2023 10:08
Last Modified: 13 Feb 2023 10:08
URI: https://eprints.iisc.ac.in/id/eprint/80330

Actions (login required)

View Item View Item