TY - GEN
T1 - Logic for Timed Agent Network Topologies
AU - Eberhart, Clovis
AU - Haydon, James
AU - Dubut, Jeremy
AU - Cetinkaya, Ahmet
AU - Pruekprasert, Sasinee
N1 - Funding Information:
The authors are supported by ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603), JST. J. D. is also supported by Grant-in-aid No. 19K20215, JSPS. A. C. is also supported by Grant-in-aid No. 20K14771, JSPS. S. P. is also supported by Grant-in-aid No. 21K14191, JSPS.
Publisher Copyright:
© 2022 IEEE.
PY - 2022
Y1 - 2022
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85146989884&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85146989884&partnerID=8YFLogxK
U2 - 10.1109/CDC51059.2022.9992550
DO - 10.1109/CDC51059.2022.9992550
M3 - Conference contribution
AN - SCOPUS:85146989884
T3 - Proceedings of the IEEE Conference on Decision and Control
SP - 2870
EP - 2877
BT - 2022 IEEE 61st Conference on Decision and Control, CDC 2022
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 61st IEEE Conference on Decision and Control, CDC 2022
Y2 - 6 December 2022 through 9 December 2022
ER -