Employing behavioral preorders to define controllability for nondeterministic discrete-event systems

J. Markovski

    Research output: Contribution to journalArticleAcademicpeer-review

    4 Citations (Scopus)
    104 Downloads (Pure)

    Abstract

    We employ the behavioral preorder termed partial bisimulation to define controllability for nondeterministic discrete-event systems. The preorder induces a refinements relation between the models of the controlled and the original system, that captures a notion of controllability. We define a notion of a model of a deterministic supervisory controller and we compare our approach to existing ones in the literature. We show that the equivalence relation, induced by the partial bisimulation preorder, can be employed to minimize the model of the unsupervised system. We develop an efficient minimization algorithm, by characterizing the preorders as partition-relation pairs under stability conditions.

    Original languageEnglish
    Pages (from-to)227-250
    Number of pages24
    JournalDiscrete Event Dynamic Systems
    Volume25
    Issue number1-2
    DOIs
    Publication statusPublished - 1 Jun 2015

    Keywords

    • Controllability
    • Partial bisimulation
    • Supervisory control theory

    Fingerprint Dive into the research topics of 'Employing behavioral preorders to define controllability for nondeterministic discrete-event systems'. Together they form a unique fingerprint.

    Cite this