DES Controller Synthesis and Fault Tolerant Control

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.