Timed Supervisory Control for Operational Planning and Scheduling under Multiple Job Deadlines

Ahmad Reza Shehabinia,Liyong Lin,Rong Su
DOI: https://doi.org/10.48550/arXiv.1607.04255
2016-07-15
Abstract:In this paper, we model an operational planning and scheduling problem under multiple job deadlines in a time-weighted automaton framework. We first present a method to determine whether all given job specifications and deadlines can be met by computing a supremal controllable job satisfaction sublanguage. When this supremal sublanguage is not empty, we compute one of its controllable sublanguages that ensures the minimum total job earliness by adding proper delays. When this supremal sublanguage is empty, we will determine the minimal sets of job deadlines that need to be relaxed.
Systems and Control
What problem does this paper attempt to address?