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.
Modeling of discrete event systems using finite automata with variables
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
To get industrial acceptance of supervisory control theory, there is a need to bridge the gap between the signal-based industrial reality and the event-based supervisory control framework. This paper tries to do this by introducing a modeling formalism with automata extended with variables, guard expressions and action functions. The formalism is suitable for modeling plants and specifications in the supervisory control framework. An algorithm that transforms a set of extended automata into a set of ordinary automata with equivalent behavior, is presented. This allows the user to model complex behaviors with a compact representation, and at the same time use existing algorithms for analysis.
How it got here
How it got here
agent via openalex
Added
2026-10-27 02:31 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{skoldstam2007modeling,
title = {Modeling of discrete event systems using finite automata with variables},
author = {Markus Sköldstam and Knut Åkesson and Martin Fabian},
year = {2007},
journal = {IEEE Conference on Decision and Control (CDC)},
publisher = {Institute of Electrical and Electronics Engineers},
pages = {3387--3392},
doi = {10.1109/cdc.2007.4434894},
}