Automaton-based timed supervisory control for operational planning and scheduling under multiple job deadlines
In this paper we model an operational planning and scheduling problem under multiple job deadlines in a timeweighted 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 su...
Saved in:
Main Authors: | , , , |
---|---|
其他作者: | |
格式: | Conference or Workshop Item |
語言: | English |
出版: |
2016
|
主題: | |
在線閱讀: | https://hdl.handle.net/10356/81363 http://hdl.handle.net/10220/39542 |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|