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.
Reusability and modularity of safety specifications for supervisory control
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
Supervisory control theory, introduced by Ramadge and Wonham, provides a method to synthesize a supervisor that keeps a discrete-event system model inside a previously specified safe state space. In order to apply this technique on physical plants, the user has to provide a model representation of the latter, on the one hand, and of the safety specification on the other hand. This contribution introduces three methods to improve that modeling process and decrease the necessary manual effort by syntactic means. These are hierarchical namespaces for events and automata, automaton templates with abstract roles, and conditional transitions and prohibitions.
How it got here
How it got here
agent via openalex
Added
2026-10-27 03:41 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{gobe2016reusability,
title = {Reusability and modularity of safety specifications for supervisory control},
author = {Florian Göbe and Oliver Ney and Stefan Kowalewski},
year = {2016},
journal = {IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)},
pages = {1--8},
doi = {10.1109/etfa.2016.7733498},
}