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...
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Conference Paper |
| Language: | English |
| Published: |
2016
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/10356/81363 http://hdl.handle.net/10220/39542 |
| _version_ | 1826118299902017536 |
|---|---|
| author | Lin, Liyong Shehabinia, Ahmad Reza Brandin, Bertil Su, Rong. |
| author2 | School of Electrical and Electronic Engineering |
| author_facet | School of Electrical and Electronic Engineering Lin, Liyong Shehabinia, Ahmad Reza Brandin, Bertil Su, Rong. |
| author_sort | Lin, Liyong |
| collection | NTU |
| description | 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. |
| first_indexed | 2024-10-01T04:41:27Z |
| format | Conference Paper |
| id | ntu-10356/81363 |
| institution | Nanyang Technological University |
| language | English |
| last_indexed | 2024-10-01T04:41:27Z |
| publishDate | 2016 |
| record_format | dspace |
| spelling | ntu-10356/813632021-01-06T01:42:36Z Automaton-based timed supervisory control for operational planning and scheduling under multiple job deadlines Lin, Liyong Shehabinia, Ahmad Reza Brandin, Bertil Su, Rong. School of Electrical and Electronic Engineering 2014 IEEE 53rd Annual Conference on Decision and Control (CDC) Time-weighted automaton Controllability Scheduling Earliness Timed supervisory control 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. Accepted version 2016-01-04T07:10:02Z 2019-12-06T14:29:18Z 2016-01-04T07:10:02Z 2019-12-06T14:29:18Z 2014 Conference Paper Lin, L., Shehabinia, A. R., Su, R., & Brandin, B. (2014). Automaton-based timed supervisory control for operational planning and scheduling under multiple job deadlines. 2014 IEEE 53rd Annual Conference on Decision and Control (CDC), 5943-5948. https://hdl.handle.net/10356/81363 http://hdl.handle.net/10220/39542 10.1109/CDC.2014.7040319 en © 2014 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. The published version is available at: [http://dx.doi.org/110.1109/CDC.2014.7040319]. 6 p. application/pdf |
| spellingShingle | Time-weighted automaton Controllability Scheduling Earliness Timed supervisory control Lin, Liyong Shehabinia, Ahmad Reza Brandin, Bertil Su, Rong. Automaton-based timed supervisory control for operational planning and scheduling under multiple job deadlines |
| title | Automaton-based timed supervisory control for operational planning and scheduling under multiple job deadlines |
| title_full | Automaton-based timed supervisory control for operational planning and scheduling under multiple job deadlines |
| title_fullStr | Automaton-based timed supervisory control for operational planning and scheduling under multiple job deadlines |
| title_full_unstemmed | Automaton-based timed supervisory control for operational planning and scheduling under multiple job deadlines |
| title_short | Automaton-based timed supervisory control for operational planning and scheduling under multiple job deadlines |
| title_sort | automaton based timed supervisory control for operational planning and scheduling under multiple job deadlines |
| topic | Time-weighted automaton Controllability Scheduling Earliness Timed supervisory control |
| url | https://hdl.handle.net/10356/81363 http://hdl.handle.net/10220/39542 |
| work_keys_str_mv | AT linliyong automatonbasedtimedsupervisorycontrolforoperationalplanningandschedulingundermultiplejobdeadlines AT shehabiniaahmadreza automatonbasedtimedsupervisorycontrolforoperationalplanningandschedulingundermultiplejobdeadlines AT brandinbertil automatonbasedtimedsupervisorycontrolforoperationalplanningandschedulingundermultiplejobdeadlines AT surong automatonbasedtimedsupervisorycontrolforoperationalplanningandschedulingundermultiplejobdeadlines |