Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
Wed, 19 January 2022 at 09:30 am in Salzburg, Austria
Abstract: A collaborative embedded system is an autonomous component of a cyber-physical system which cooperates with other such systems in order to accomplish a common goal. In this talk, we present a logic to reason about collaborative embedded systems. Signal Temporal Logic (STL) has been used to specify hybrid systems, which contain both discrete and continuous state changes. Alternating Temporal Logic (ATL) was suggested to reason about strategies of multi-agent systems. We define a combination of these two logics, analyze its complexity and model checking procedure, and give some applications in the field of autonomous transport robots in intralogistics.
Slides