Aggregative synthesis of distributed supervisors based on automata abstraction
IEEE Transactions on Automatic Control , Volume 55 - Issue 7 p. 1627- 1640
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.
|Keywords||distributed DES, abstraction, aggregate synthesis|
|THEME||Life Sciences (theme 5), Energy (theme 4)|
|Journal||IEEE Transactions on Automatic Control|
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