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

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Originele taal-2	Engels
Plaats van productie	Eindhoven
Uitgeverij	Technische Universiteit Eindhoven
Aantal pagina's	24
Status	Gepubliceerd - 2019

Naam	ES Reports
Uitgeverij	Electronic Systems, Department of Electrical Engineering, Eindhoven University of Technology
Nr.	ESR-2019-02
ISSN van elektronische versie	1574-9517

Toegang tot 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 -