Logic for Timed Agent Network Topologies

Clovis Eberhart, James Haydon, Jeremy Dubut, Ahmet Cetinkaya, Sasinee Pruekprasert

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.

Original languageEnglish
Title of host publication2022 IEEE 61st Conference on Decision and Control, CDC 2022
PublisherInstitute of Electrical and Electronics Engineers Inc.
Number of pages8
ISBN (Electronic)9781665467612
Publication statusPublished - 2022
Event61st IEEE Conference on Decision and Control, CDC 2022 - Cancun, Mexico
Duration: 2022 Dec 62022 Dec 9

Publication series

NameProceedings of the IEEE Conference on Decision and Control
ISSN (Print)0743-1546
ISSN (Electronic)2576-2370


Conference61st IEEE Conference on Decision and Control, CDC 2022

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Modelling and Simulation
  • Control and Optimization


Dive into the research topics of 'Logic for Timed Agent Network Topologies'. Together they form a unique fingerprint.

Cite this