Hide/Show Apps

Computation of supervisors for fault-recovery and repair for discrete event systems