Specifying state-based supervisory control requirements

K.G.M. Jacobs, J. Markovski, D.A. Beek, van, J.E. Rooda, L.J.A.M. Somers

Research output: Book/ReportReportAcademic

Abstract

We use state-based supervisory control theory to synthesize control software for highly complex machines. We translate intuitive, informal state-based requirements into formal state-based requirement expressions. We have identified three formal forms of expressions, which naturally follow from the informal requirements. These forms are not compatible with the current tooling for supervisory controller synthesis. A conversion algorithm is derived and implemented in a tool. The tool is a preprocessing step for the existing tooling for supervisory controller synthesis. We applied the tool in a case study regarding complex printing systems for Oc´e Technologies B.V. The proposed 50 state-based requirement expressions in our framework translated to 200+ input expressions for the existing state-based supervisory controller tooling.
LanguageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages40
StatePublished - 2009

Publication series

NameSE report
Volume2009-06
ISSN (Print)1872-1567

Fingerprint

Controllers
Control theory
Printing

Cite this

Jacobs, K. G. M., Markovski, J., Beek, van, D. A., Rooda, J. E., & Somers, L. J. A. M. (2009). Specifying state-based supervisory control requirements. (SE report; Vol. 2009-06). Eindhoven: Technische Universiteit Eindhoven.
Jacobs, K.G.M. ; Markovski, J. ; Beek, van, D.A. ; Rooda, J.E. ; Somers, L.J.A.M./ Specifying state-based supervisory control requirements. Eindhoven : Technische Universiteit Eindhoven, 2009. 40 p. (SE report).
@book{c6a45fb697a043b1ac41e765484b73d0,
title = "Specifying state-based supervisory control requirements",
abstract = "We use state-based supervisory control theory to synthesize control software for highly complex machines. We translate intuitive, informal state-based requirements into formal state-based requirement expressions. We have identified three formal forms of expressions, which naturally follow from the informal requirements. These forms are not compatible with the current tooling for supervisory controller synthesis. A conversion algorithm is derived and implemented in a tool. The tool is a preprocessing step for the existing tooling for supervisory controller synthesis. We applied the tool in a case study regarding complex printing systems for Oc´e Technologies B.V. The proposed 50 state-based requirement expressions in our framework translated to 200+ input expressions for the existing state-based supervisory controller tooling.",
author = "K.G.M. Jacobs and J. Markovski and {Beek, van}, D.A. and J.E. Rooda and L.J.A.M. Somers",
year = "2009",
language = "English",
series = "SE report",
publisher = "Technische Universiteit Eindhoven",

}

Jacobs, KGM, Markovski, J, Beek, van, DA, Rooda, JE & Somers, LJAM 2009, Specifying state-based supervisory control requirements. SE report, vol. 2009-06, Technische Universiteit Eindhoven, Eindhoven.

Specifying state-based supervisory control requirements. / Jacobs, K.G.M.; Markovski, J.; Beek, van, D.A.; Rooda, J.E.; Somers, L.J.A.M.

Eindhoven : Technische Universiteit Eindhoven, 2009. 40 p. (SE report; Vol. 2009-06).

Research output: Book/ReportReportAcademic

TY - BOOK

T1 - Specifying state-based supervisory control requirements

AU - Jacobs,K.G.M.

AU - Markovski,J.

AU - Beek, van,D.A.

AU - Rooda,J.E.

AU - Somers,L.J.A.M.

PY - 2009

Y1 - 2009

N2 - We use state-based supervisory control theory to synthesize control software for highly complex machines. We translate intuitive, informal state-based requirements into formal state-based requirement expressions. We have identified three formal forms of expressions, which naturally follow from the informal requirements. These forms are not compatible with the current tooling for supervisory controller synthesis. A conversion algorithm is derived and implemented in a tool. The tool is a preprocessing step for the existing tooling for supervisory controller synthesis. We applied the tool in a case study regarding complex printing systems for Oc´e Technologies B.V. The proposed 50 state-based requirement expressions in our framework translated to 200+ input expressions for the existing state-based supervisory controller tooling.

AB - We use state-based supervisory control theory to synthesize control software for highly complex machines. We translate intuitive, informal state-based requirements into formal state-based requirement expressions. We have identified three formal forms of expressions, which naturally follow from the informal requirements. These forms are not compatible with the current tooling for supervisory controller synthesis. A conversion algorithm is derived and implemented in a tool. The tool is a preprocessing step for the existing tooling for supervisory controller synthesis. We applied the tool in a case study regarding complex printing systems for Oc´e Technologies B.V. The proposed 50 state-based requirement expressions in our framework translated to 200+ input expressions for the existing state-based supervisory controller tooling.

M3 - Report

T3 - SE report

BT - Specifying state-based supervisory control requirements

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -

Jacobs KGM, Markovski J, Beek, van DA, Rooda JE, Somers LJAM. Specifying state-based supervisory control requirements. Eindhoven: Technische Universiteit Eindhoven, 2009. 40 p. (SE report).