Partial-order reduction for synthesis and performance analysis of supervisory controllers

Research output: Book/ReportReportAcademic

Original languageEnglish
Publication statusPublished - 2019

Publication series

NameES Reports
PublisherElectronic Systems, Department of Electrical Engineering, Eindhoven University of Technology
No.ESR-2019-02

Cite this