Logic for Timed Agent Network Topologies

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

doi:10.1109/CDC51059.2022.9992550

Logic for Timed Agent Network Topologies

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

National Institute of Informatics (NII)
CNRS UMI3527
National Institute of Advanced Industrial Science and Technology
Shibaura Institute of Technology

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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.

Original language	English
Title of host publication	2022 IEEE 61st Conference on Decision and Control, CDC 2022
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	2870-2877
Number of pages	8
ISBN (Electronic)	9781665467612
DOIs	https://doi.org/10.1109/CDC51059.2022.9992550
Publication status	Published - 1 Jan 2022
Externally published	Yes
Event	61st IEEE Conference on Decision and Control, CDC 2022 - Cancun, Mexico Duration: 6 Dec 2022 → 9 Dec 2022

Publication series

Name	Proceedings of the IEEE Conference on Decision and Control
Volume	2022-December
ISSN (Print)	0743-1546
ISSN (Electronic)	2576-2370

Conference

Conference	61st IEEE Conference on Decision and Control, CDC 2022
Country/Territory	Mexico
City	Cancun
Period	6/12/22 → 9/12/22

Access to Document

10.1109/CDC51059.2022.9992550

Cite this

Eberhart, C., Haydon, J., Dubut, J., Cetinkaya, A., & Pruekprasert, S. (2022). Logic for Timed Agent Network Topologies. In 2022 IEEE 61st Conference on Decision and Control, CDC 2022 (pp. 2870-2877). (Proceedings of the IEEE Conference on Decision and Control; Vol. 2022-December). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/CDC51059.2022.9992550

@inproceedings{11f97fe4220a4e33a50a5c519d7b1ef5,

title = "Logic for Timed Agent Network Topologies",

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.",

author = "Clovis Eberhart and James Haydon and Jeremy Dubut and Ahmet Cetinkaya and Sasinee Pruekprasert",

note = "Publisher Copyright: {\textcopyright} 2022 IEEE.; 61st IEEE Conference on Decision and Control, CDC 2022 ; Conference date: 06-12-2022 Through 09-12-2022",

year = "2022",

month = jan,

day = "1",

doi = "10.1109/CDC51059.2022.9992550",

language = "English",

series = "Proceedings of the IEEE Conference on Decision and Control",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "2870--2877",

booktitle = "2022 IEEE 61st Conference on Decision and Control, CDC 2022",

}

Eberhart, C, Haydon, J, Dubut, J, Cetinkaya, A & Pruekprasert, S 2022, Logic for Timed Agent Network Topologies. in 2022 IEEE 61st Conference on Decision and Control, CDC 2022. Proceedings of the IEEE Conference on Decision and Control, vol. 2022-December, Institute of Electrical and Electronics Engineers Inc., pp. 2870-2877, 61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, 6/12/22. https://doi.org/10.1109/CDC51059.2022.9992550

Logic for Timed Agent Network Topologies. / Eberhart, Clovis; Haydon, James; Dubut, Jeremy et al.
2022 IEEE 61st Conference on Decision and Control, CDC 2022. Institute of Electrical and Electronics Engineers Inc., 2022. p. 2870-2877 (Proceedings of the IEEE Conference on Decision and Control; Vol. 2022-December).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Logic for Timed Agent Network Topologies

AU - Eberhart, Clovis

AU - Haydon, James

AU - Dubut, Jeremy

AU - Cetinkaya, Ahmet

AU - Pruekprasert, Sasinee

PY - 2022/1/1

Y1 - 2022/1/1

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 - https://www.scopus.com/pages/publications/85146989884

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 -

Logic for Timed Agent Network Topologies

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this