Modeling of discrete event systems using finite automata with variables

  title={Modeling of discrete event systems using finite automata with variables},
  author={Markus Sk{\"o}ldstam and Knut {\AA}kesson and Martin Fabian},
  journal={2007 46th IEEE Conference on Decision and Control},
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… CONTINUE READING
Highly Influential
This paper has highly influenced 12 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 113 citations. REVIEW CITATIONS
76 Citations
18 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 76 extracted citations

113 Citations

Citations per Year
Semantic Scholar estimates that this publication has 113 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 18 references

Synthesis of supervisors for parameterized and infinity non-regular discrete event systems

  • C. de Oliveira, J. Cury, C. Kaestner
  • Proceedings of the 1st IFAC Workshop on…
  • 2007
2 Excerpts

Towards a framework for integrated supervisory and logic control

  • K. Åkesson, M. Sköldstam
  • 1st Dependable Control of Discrete Event Systems…
  • 2007
1 Excerpt The official website for the Supremica project

  • Supremica
  • 2007.
  • 2007
3 Excerpts

Similar Papers

Loading similar papers…