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

Research output: Book/Report › Report › Academic

Original language	English
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Number of pages	24
Publication status	Published - 2019

Name	ES Reports
Publisher	Electronic Systems, Department of Electrical Engineering, Eindhoven University of Technology
No.	ESR-2019-02
ISSN (Electronic)	1574-9517

Access to Document

@book{02a52e48740b47ca922838ea3cabd5f9,

title = "Partial-order reduction for synthesis and performance analysis of supervisory controllers",

author = "{van der Sanden}, L.J. and Geilen, {Marc C.W.} and Reniers, {Michel A.} and Basten, {A.A. (Twan)}",

year = "2019",

language = "English",

series = "ES Reports",

publisher = "Technische Universiteit Eindhoven",

number = "ESR-2019-02",

}

TY - BOOK

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

AU - van der Sanden, L.J.

AU - Geilen, Marc C.W.

AU - Reniers, Michel A.

AU - Basten, A.A. (Twan)

PY - 2019

Y1 - 2019

M3 - Report

T3 - ES Reports

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

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -