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