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


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

    Cite this