Abstract
The main problem addressed in this work is how to confine the set of sequential processes of a disjunctive/ conjunctive resource allocation system (D/C-RAS) to a subset of their feasible behaviours while optimizing some performance criterion. A canonical characterization of this problem is provided in the form of a mixed integer programming formulation, for the case that the optimized performance criterion is the maximization of the system throughput. However, an important additional development of this effort is a complete analytical characterization of the performance control problem of D/C-RAS. This characterization is based on an effective integration of recent results on the liveness-enforcing supervision of D/C-RAS with the theory of Markov decision processes, and it concretizes the interaction between the D/C-RAS logical and performance control. Throughout the development of the article, examples are used to highlight the concepts and formulations involved.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
