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...

Full description

Saved in:
Bibliographic Details
Main Authors: Lin, Liyong, Shehabinia, Ahmad Reza, Brandin, Bertil, Su, Rong.
Other Authors: School of Electrical and Electronic Engineering
Format: Conference or Workshop Item
Language:English
Published: 2016
Subjects:
Online Access:https://hdl.handle.net/10356/81363
http://hdl.handle.net/10220/39542
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Nanyang Technological University
Language: English
Description
Summary: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 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 sublangauge is empty, we will determine the minimal sets of job deadlines that need to be relaxed.