Time optimal synthesis based upon sequential abstraction and maximizing parallelism
Simon Ware, Rong Su · 2017
The Ramadge-Wonham supervisory control paradigm has been shown effective in dealing with logic control. Nevertheless, time-related performance is always one of the major concerns in industry. Current methods for synthesizing time optimal supervisors are incapable of dealing with large discrete event systems with massive state spaces. This paper proposes an approach for finding a time optimal accepting trace for large discrete event systems based upon sequential language projection. The algorithm is tested on a linear cluster tool to show their effectiveness.