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

4 Downloads (Pure)


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.
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages40
Publication statusPublished - 2009

Publication series

NameSE report
ISSN (Print)1872-1567

Fingerprint Dive into the research topics of 'Specifying state-based supervisory control requirements'. Together they form a unique fingerprint.

  • 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.