Distributed computation of maximally permissive supervisors in three-level relaxed coordination control of discrete-event systems
Jan Komenda, Tomáš Masopust, Jan H. van Schuppen · 2016
A three-level relaxed coordination control framework of modular discrete-event systems is investigated. Unlike our previous work, we focus on the maximal permissiveness issue studied also in [17], i.e., we propose sufficient conditions for the three-level coordination control synthesis to equal to the global control synthesis. It is shown how the three-level framework helps to weaken the well-known mutual controllability condition.