abstract
- In this paper we investigate the problem of fault tolerance in the framework of discrete-event system (DES). We introduce our setting, and then provide a set of fault tolerant definitions designed to capture different types of fault scenarios and to ensure that our system remains controllable in each scenario. We then present algorithms to verify these properties. Finally, a simple example is provided to illustrate the properties.