An algorithm for computing supremal nonblocking state-normal supervisors for nondeterministic systems

R. Su, J.H. Schuppen, van, J.E. Rooda

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'An algorithm for computing supremal nonblocking state-normal supervisors for nondeterministic systems'. Together they form a unique fingerprint.

    Computer Science