@book{befe32b22bb441b2b9c897b91e4dafe9,
title = "DES Controller Synthesis and Fault Tolerant Control",
abstract = "This report surveys recent advances in computer aided synthesis of controllers for discrete event systems. The report aims at providing an overview of the most successful symbolic synthesis approaches developed within the area of supervisory control. In addition, it describes approaches to fault tolerant control developed within control theory, diagnosis, and planning.",
keywords = "Computer-aided synthesis, Discrete event systems, Supervisory control, Symbolic synthesis, Fault-tolerant control",
author = "Jensen, {Rune M{\o}ller}",
year = "2003",
language = "English",
isbn = " 8779490549",
volume = "TR-2003-40",
publisher = "IT University of Copenhagen",
}