Norm Enforcement as Supervisory Control

Mehdi Dastani, Sebastian Sardina, Vahid Yazdanpanah*

*Corresponding author for this work

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

1 Citation (Scopus)

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
Event20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017 - Nice, France
Duration: 30 Oct 20173 Nov 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

Conference

Conference20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017
CountryFrance
CityNice
Period30/10/173/11/17

Fingerprint

Dive into the research topics of 'Norm Enforcement as Supervisory Control'. Together they form a unique fingerprint.

Cite this