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: Lin, Liyong, Shehabinia, Ahmad Reza, Brandin, Bertil, Su, Rong.
其他作者: School of Electrical and Electronic Engineering
格式: Conference or Workshop Item
語言:English
出版: 2016
主題:
在線閱讀:https://hdl.handle.net/10356/81363
http://hdl.handle.net/10220/39542
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!