IEEE Transactions on Automatic Control, Vol.65, No.8, 3502-3516, 2020
Compositional Supervisory Control via Reactive Synthesis and Automated Planning
We show how reactive synthesis and automated planning can be leveraged effectively to find nonmaximal solutions to deterministic supervisory control problems of discrete event systems. To do so, we propose efficient translations of the supervisory control problem into the reactive synthesis and planning frameworks. Notably, our translation methods capture the compositional and reactive nature of control specifications, avoiding a potential exponential explosion found in alternative translation approaches. Additionally, we report on experimental results comparing the efficacy of different tools from the three disciplines, for a particular supervisory control benchmark.
Keywords:Supervisory control;Planning;Automata;Tools;Semantics;Explosions;Task analysis;Automated planning;reactive synthesis;supervisory control