The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems

The work

AuthorsXiang Yin; Stéphane Lafortune
Editors
Typearticle
Year2016
Also known asyin2015synthesis
Citekeyyin2016synthesis

Where it appeared

Published inIEEE Transactions on Automatic Control
PublisherInstitute of Electrical and Electronics Engineers
Volume61
Issue5
Pages1239--1254

Identifiers

DOI10.1109/tac.2015.2460391
OpenAlexW2342445930

Access

Landing pagehttps://doi.org/10.1109/tac.2015.2460391

From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.

Abstract

We present new results on the synthesis of safe, non-blocking, and maximally permissive supervisors for partially observed discrete event systems. We consider the case where the legal language is a non-prefix-closed sublanguage of the system language, i.e., non-blockingness must be ensured in addition to safety. To solve this problem, we define a new bipartite transition system, called the Non-blocking All Inclusive Controller (NB-AIC), that embeds all safe and non-blocking supervisors. We present an algorithm for the construction of the NB-AIC and discuss its properties. We obtain the necessary and sufficient conditions for the solvability of the maximally permissive control problem. We then provide a synthesis algorithm, based on the NB-AIC, that constructs a supervisor that is safe, non-blocking and maximally permissive, if one exists. This is the first algorithm with such properties.

How it got here

How it got hereagent via openalex
Added2026-10-27 02:55 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@article{yin2016synthesis,
  title        = {Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems},
  author       = {Xiang Yin and Stéphane Lafortune},
  year         = {2016},
  journal      = {IEEE Transactions on Automatic Control},
  publisher    = {Institute of Electrical and Electronics Engineers},
  volume       = {61},
  number       = {5},
  pages        = {1239--1254},
  doi          = {10.1109/tac.2015.2460391},
}

This record lives at https://refs.drheap.org/yin2016synthesis/ and will keep doing so. It used to be called yin2015synthesis, and those addresses still resolve to this one.