This paper discusses a method to distribute a synthesized supervisory controller for implementation on multiple physical controllers. Dependency structure matrices are used to determine a distribution of a discrete event system. The supervisor is then distributed accordingly, using an existing localization method. Communication delays between the distributed components of a supervisor may affect its behavior, due to changes in the order of events. Therefore, a delay-robustness check is performed and where needed mutex locks are employed to make the distributed supervisor delay-robust. A case study demonstrates the method, and hardware-in-the-loop testing is used to validate the distributed supervisor.
|Title of host publication||2021 IEEE 17th International Conference on Automation Science and Engineering (CASE)|
|Publisher||IEEE Computer Society|
|Number of pages||8|
|Publication status||Published - 5 Oct 2021|
|Event||17th IEEE International Conference on Automation Science and Engineering, CASE 2021 - Lyon, France|
Duration: 23 Aug 2021 → 27 Aug 2021
|Name||IEEE International Conference on Automation Science and Engineering|
|Conference||17th IEEE International Conference on Automation Science and Engineering, CASE 2021|
|Period||23/08/21 → 27/08/21|
Bibliographical noteFunding Information:
*This work was supported by Rijkswaterstaat, part of the Dutch ministry of infrastructure and water management 1Department of Mechanical Engineering, Eindhoven University of Technology, The Netherlands firstname.lastname@example.org 2Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands
© 2021 IEEE.