Norm Enforcement as Supervisory Control

Mehdi Dastani, Sebastian Sardina, Vahid Yazdanpanah

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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 languageEnglish
Title of host publicationPRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Proceedings
PublisherSpringer
Pages330-348
Number of pages19
Volume10621 LNAI
ISBN (Print)9783319691305
DOIs
Publication statusPublished - 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10621 LNAI
ISSN (Print)03029743
ISSN (Electronic)16113349

Fingerprint

Supervisory Control
Multi agent systems
Control theory
Control Theory
Multi-agent Systems
Norm
Formal languages
Discrete Event Systems
Formal Languages
Discrete event simulation
Semantics
Model

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

}

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. 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 proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Norm Enforcement as Supervisory Control

AU - Dastani, Mehdi

AU - Sardina, Sebastian

AU - Yazdanpanah, Vahid

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

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

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)). https://doi.org/10.1007/978-3-319-69131-2_20