Achieving nonblockingness in supervisory control imposes a major challenge when the number of states of a target system is large, often owing to synchronous product of many relatively small local components. To overcome this difficulty, in this paper we first present a distributed supervisory control problem, then provide an aggregative synthesis approach that computes nonblocking distributed supervisors. The key to the success of this approach is a newly developed automaton abstraction technique, that removes irrelevant internal transitions at each synthesis stage so that nonblocking supervisor synthesis can be carried out on relatively small abstracted models.
, ,
,
I.E.E.E.
doi.org/10.1109/TAC.2010.2042342
IEEE Transactions on Automatic Control
Scientific Computing

Su, R., van Schuppen, J., & Rooda, J. (2010). Aggregative synthesis of distributed supervisors based on automata abstraction. IEEE Transactions on Automatic Control, 55(7), 1627–1640. doi:10.1109/TAC.2010.2042342