Model abstraction of nondeterministic finite state automata in supervisor synthesis

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

    Research output: Book/ReportReportAcademic

    76 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Model abstraction of nondeterministic finite state automata in supervisor synthesis'. Together they form a unique fingerprint.

    Engineering & Materials Science