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

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",

}

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 -