selected publications conference paper Efficient solution for the state avoidance control problem on concurrent systems using a disjunctive architecture. . 2006