Efficient solution for the state avoidance control problem on concurrent systems using a disjunctive architecture

This work investigates the problem of synthesizing supervisors which ensure some particular states of a discrete event system (DES) to be avoided. The systems under consideration are concurrent: they consist of several subsystems running in parallel. In this case, general supervisory control methodologies can not be applied because of complexity. The disjunctive architecture as well as a new controllability definition are here used to efficiently provide a solution to the state avoidance problem on concurrent systems