Control of input/output discrete-event systems

M. Petreczky, R.J.M. Theunissen, R. Su, D.A. Beek, van, J.H. Schuppen, van, J.E. Rooda

Research output: Book/ReportReportAcademic

Abstract

A class of control problems for discrete-event systems is proposed, inspired by applications in the domain of high-tech systems. The control problem asks for controllers which generate control inputs based on the outputs. We formalize the above control problem, whereby the plant behavior is modeled as an input-output relation recognizable by a finite-state quasi-sequential deterministic transducer, and the controller is modeled as a sequential map realizable by a Moore-automaton. The control objective is formalized as a language over the alphabet of internal (unobservable) events generated by the plant. We propose a solution to the control problem above by reducing it to a Ramadge-Wonham control problem with partial observations.
LanguageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages37
StatePublished - 2008

Publication series

NameSE report
Volume2008-12
ISSN (Print)1872-1567

Fingerprint

Discrete event simulation
Controllers
Transducers

Cite this

Petreczky, M., Theunissen, R. J. M., Su, R., Beek, van, D. A., Schuppen, van, J. H., & Rooda, J. E. (2008). Control of input/output discrete-event systems. (SE report; Vol. 2008-12). Eindhoven: Technische Universiteit Eindhoven.
Petreczky, M. ; Theunissen, R.J.M. ; Su, R. ; Beek, van, D.A. ; Schuppen, van, J.H. ; Rooda, J.E./ Control of input/output discrete-event systems. Eindhoven : Technische Universiteit Eindhoven, 2008. 37 p. (SE report).
@book{5f1f7f52df644878ac20be075c3ddcf0,
title = "Control of input/output discrete-event systems",
abstract = "A class of control problems for discrete-event systems is proposed, inspired by applications in the domain of high-tech systems. The control problem asks for controllers which generate control inputs based on the outputs. We formalize the above control problem, whereby the plant behavior is modeled as an input-output relation recognizable by a finite-state quasi-sequential deterministic transducer, and the controller is modeled as a sequential map realizable by a Moore-automaton. The control objective is formalized as a language over the alphabet of internal (unobservable) events generated by the plant. We propose a solution to the control problem above by reducing it to a Ramadge-Wonham control problem with partial observations.",
author = "M. Petreczky and R.J.M. Theunissen and R. Su and {Beek, van}, D.A. and {Schuppen, van}, J.H. and J.E. Rooda",
year = "2008",
language = "English",
series = "SE report",
publisher = "Technische Universiteit Eindhoven",

}

Petreczky, M, Theunissen, RJM, Su, R, Beek, van, DA, Schuppen, van, JH & Rooda, JE 2008, Control of input/output discrete-event systems. SE report, vol. 2008-12, Technische Universiteit Eindhoven, Eindhoven.

Control of input/output discrete-event systems. / Petreczky, M.; Theunissen, R.J.M.; Su, R.; Beek, van, D.A.; Schuppen, van, J.H.; Rooda, J.E.

Eindhoven : Technische Universiteit Eindhoven, 2008. 37 p. (SE report; Vol. 2008-12).

Research output: Book/ReportReportAcademic

TY - BOOK

T1 - Control of input/output discrete-event systems

AU - Petreczky,M.

AU - Theunissen,R.J.M.

AU - Su,R.

AU - Beek, van,D.A.

AU - Schuppen, van,J.H.

AU - Rooda,J.E.

PY - 2008

Y1 - 2008

N2 - A class of control problems for discrete-event systems is proposed, inspired by applications in the domain of high-tech systems. The control problem asks for controllers which generate control inputs based on the outputs. We formalize the above control problem, whereby the plant behavior is modeled as an input-output relation recognizable by a finite-state quasi-sequential deterministic transducer, and the controller is modeled as a sequential map realizable by a Moore-automaton. The control objective is formalized as a language over the alphabet of internal (unobservable) events generated by the plant. We propose a solution to the control problem above by reducing it to a Ramadge-Wonham control problem with partial observations.

AB - A class of control problems for discrete-event systems is proposed, inspired by applications in the domain of high-tech systems. The control problem asks for controllers which generate control inputs based on the outputs. We formalize the above control problem, whereby the plant behavior is modeled as an input-output relation recognizable by a finite-state quasi-sequential deterministic transducer, and the controller is modeled as a sequential map realizable by a Moore-automaton. The control objective is formalized as a language over the alphabet of internal (unobservable) events generated by the plant. We propose a solution to the control problem above by reducing it to a Ramadge-Wonham control problem with partial observations.

M3 - Report

T3 - SE report

BT - Control of input/output discrete-event systems

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -

Petreczky M, Theunissen RJM, Su R, Beek, van DA, Schuppen, van JH, Rooda JE. Control of input/output discrete-event systems. Eindhoven: Technische Universiteit Eindhoven, 2008. 37 p. (SE report).