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)


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
Number of pages19
Volume10621 LNAI
ISBN (Print)9783319691305
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 Dive into the research topics of 'Norm Enforcement as Supervisory Control'. Together they form a unique fingerprint.

Cite this