Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Talk "Alternating Signal Temporal Logic"

by Holger Schlingloff

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.