Norm Enforcement as Supervisory Control

Mehdi Dastani; Sebastian Sardina; Vahid Yazdanpanah

doi:10.1007/978-3-319-69131-2_20

Norm Enforcement as Supervisory Control

Mehdi Dastani, Sebastian Sardina, Vahid Yazdanpanah^*

^*Corresponding author for this work

Industrial Engineering & Business Information Systems

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

2 Citations (Scopus)

28 Downloads (Pure)

Abstract

In this paper, we study normative multi-agent systems from a supervisory control theory perspective. Concretely, we show how to model three well-known types of norm enforcement mechanisms by adopting well-studied supervisory control theory techniques for discrete event systems. Doing so provides a semantics for normative multi-agent systems rooted in formal languages and the ability to automatically synthesize SCT-based norm enforcement mechanisms for special, but still fairly expressive, type of systems and properties.

Original language	English
Title of host publication	PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Proceedings
Publisher	Springer
Pages	330-348
Number of pages	19
Volume	10621 LNAI
ISBN (Print)	9783319691305
DOIs	https://doi.org/10.1007/978-3-319-69131-2_20
Publication status	Published - 2017
Event	20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017 - Nice, France Duration: 30 Oct 2017 → 3 Nov 2017 Conference number: 20

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10621 LNAI
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Conference

Conference	20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017
Abbreviated title	PRIMA 2017
Country/Territory	France
City	Nice
Period	30/10/17 → 3/11/17

Access to Document

10.1007/978-3-319-69131-2_20

Cite this

Dastani, M., Sardina, S., & Yazdanpanah, V. (2017). Norm Enforcement as Supervisory Control. In PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Proceedings (Vol. 10621 LNAI, pp. 330-348). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10621 LNAI). Springer. https://doi.org/10.1007/978-3-319-69131-2_20

Dastani, Mehdi ; Sardina, Sebastian ; Yazdanpanah, Vahid. / Norm Enforcement as Supervisory Control. PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Proceedings. Vol. 10621 LNAI Springer, 2017. pp. 330-348 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{85cacf51bff744d3b7e75e3b465c6355,

title = "Norm Enforcement as Supervisory Control",

abstract = "In this paper, we study normative multi-agent systems from a supervisory control theory perspective. Concretely, we show how to model three well-known types of norm enforcement mechanisms by adopting well-studied supervisory control theory techniques for discrete event systems. Doing so provides a semantics for normative multi-agent systems rooted in formal languages and the ability to automatically synthesize SCT-based norm enforcement mechanisms for special, but still fairly expressive, type of systems and properties.",

author = "Mehdi Dastani and Sebastian Sardina and Vahid Yazdanpanah",

year = "2017",

doi = "10.1007/978-3-319-69131-2_20",

language = "English",

isbn = "9783319691305",

volume = "10621 LNAI",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "330--348",

booktitle = "PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Proceedings",

address = "Germany",

note = "20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, PRIMA 2017 ; Conference date: 30-10-2017 Through 03-11-2017",

}

Dastani, M, Sardina, S & Yazdanpanah, V 2017, Norm Enforcement as Supervisory Control. in PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Proceedings. vol. 10621 LNAI, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10621 LNAI, Springer, pp. 330-348, 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, Nice, France, 30/10/17. https://doi.org/10.1007/978-3-319-69131-2_20

Norm Enforcement as Supervisory Control. / Dastani, Mehdi; Sardina, Sebastian; Yazdanpanah, Vahid.
PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Proceedings. Vol. 10621 LNAI Springer, 2017. p. 330-348 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10621 LNAI).

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

TY - GEN

T1 - Norm Enforcement as Supervisory Control

AU - Dastani, Mehdi

AU - Sardina, Sebastian

AU - Yazdanpanah, Vahid

N1 - Conference code: 20

PY - 2017

Y1 - 2017

N2 - In this paper, we study normative multi-agent systems from a supervisory control theory perspective. Concretely, we show how to model three well-known types of norm enforcement mechanisms by adopting well-studied supervisory control theory techniques for discrete event systems. Doing so provides a semantics for normative multi-agent systems rooted in formal languages and the ability to automatically synthesize SCT-based norm enforcement mechanisms for special, but still fairly expressive, type of systems and properties.

AB - In this paper, we study normative multi-agent systems from a supervisory control theory perspective. Concretely, we show how to model three well-known types of norm enforcement mechanisms by adopting well-studied supervisory control theory techniques for discrete event systems. Doing so provides a semantics for normative multi-agent systems rooted in formal languages and the ability to automatically synthesize SCT-based norm enforcement mechanisms for special, but still fairly expressive, type of systems and properties.

UR - http://www.scopus.com/inward/record.url?scp=85034246202&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-69131-2_20

DO - 10.1007/978-3-319-69131-2_20

M3 - Conference contribution

AN - SCOPUS:85034246202

SN - 9783319691305

VL - 10621 LNAI

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 330

EP - 348

BT - PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Proceedings

PB - Springer

T2 - 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017

Y2 - 30 October 2017 through 3 November 2017

ER -

Dastani M, Sardina S, Yazdanpanah V. Norm Enforcement as Supervisory Control. In PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Proceedings. Vol. 10621 LNAI. Springer. 2017. p. 330-348. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-69131-2_20

Norm Enforcement as Supervisory Control

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this