Title:Quantitative Nonblocking Supervisory Control of Discrete-Event Systems

Abstract:In this paper, we propose two new nonblocking properties of automata as quantitative measures of maximal distances to marker states. The first property, called quantitative nonblockingness, captures the practical requirement that at least one of the marker states (representing e.g. task completion) be reached within a prescribed number of steps. The second property, called heterogeneous quantitative nonblockingness, distinguishes individual marker states and requires that each marker state be reached within a given bounded number of steps. Accordingly, we formulate two new problems of quantitative nonblocking supervisory control and heterogeneous quantitative nonblocking supervisory control, and characterize their solvabilities in terms of new concepts of quantitative language completability and heterogeneous quantitative language completability respectively. It is proved that there exists the unique supremal (heterogeneous) quantitative completable sublanguage of a given language, and we develop generator-based algorithms to compute the supremal sublanguages. Finally, combining with the algorithm of computing the supremal controllable sublanguage, we design algorithms to compute the maximally permissive solutions to the formulated (heterogeneous) quantitative nonblocking supervisory control problems.