Abstract:
We define µTGL, a spatio-temporal logic with fixed points and first-order agent quantification whose expressive power allows the definition of topological properties of n...Show MoreMetadata
Abstract:
We define µTGL, a spatio-temporal logic with fixed points and first-order agent quantification whose expressive power allows the definition of topological properties of networks of communicating agents. The existence of temporal operators and fixed points requires particular care when defining its semantics. We demonstrate the logic’s usefulness on an example, where we monitor a complex property that ensures resilient consensus.
Published in: 2022 IEEE 61st Conference on Decision and Control (CDC)
Date of Conference: 06-09 December 2022
Date Added to IEEE Xplore: 10 January 2023
ISBN Information: