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

Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation

Kumar, JSS and Komondoor, R (2023) Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation. In: UNSPECIFIED, pp. 292-311.

[img] PDF
Int_sym_aut_tec__ver_ana_2023.pdf - Published Version
Restricted to Registered users only

Download (508kB) | Request a copy
Official URL: https://doi.org/10.1007/978-3-031-45329-8_14

Abstract

The problem of automated reactive synthesis has been well studied by researchers. We consider a setting that is common in practice, wherein there is a communication delay between the (synthesized) controller and the (controlled) plant, such that symbols emitted by either component reach the other component after a delay. We address the problem of synthesizing a controller that can assure the given temporal property at the remote plant despite delay. We consider two variants of this setting, one where the delay is a constant over the entire trace, and the other where the delay could increase over time (upto an upper bound), and propose approaches for both these settings. We state and prove soundness and completeness results for both our approaches. We have implemented our approaches, and evaluated them on the standard SYNTCOMP 2022 suite of temporal properties. The results provide evidence for the robustness and practicality of our approaches. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Item Type: Conference Paper
Publication: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher: Springer Science and Business Media Deutschland GmbH
Additional Information: The copyright for this article belongs to springer.
Keywords: Artificial intelligence, Communication delays; Controller synthesis; Reactive synthesis; Reactive system; Soundness and completeness; Synthesised; Temporal property; Upper Bound, Controllers
Department/Centre: Division of Electrical Sciences > Computer Science & Automation
Others
Date Deposited: 24 Apr 2024 10:24
Last Modified: 24 Apr 2024 10:24
URI: https://eprints.iisc.ac.in/id/eprint/84355

Actions (login required)

View Item View Item