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.
Additional Metadata
Keywords distributed DES, abstraction, aggregate synthesis
THEME Life Sciences (theme 5), Energy (theme 4)
Publisher I.E.E.E.
Persistent URL dx.doi.org/10.1109/TAC.2010.2042342
Journal IEEE Transactions on Automatic Control
Citation
Su, R, van Schuppen, J.H, & Rooda, J.E. (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