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.
|Title of host publication
|2022 IEEE 61st Conference on Decision and Control, CDC 2022
|Institute of Electrical and Electronics Engineers Inc.
|Number of pages
|Published - 2022
|61st IEEE Conference on Decision and Control, CDC 2022 - Cancun, Mexico
Duration: 2022 Dec 6 → 2022 Dec 9
|Proceedings of the IEEE Conference on Decision and Control
|61st IEEE Conference on Decision and Control, CDC 2022
|22/12/6 → 22/12/9
ASJC Scopus subject areas
- Control and Systems Engineering
- Modelling and Simulation
- Control and Optimization