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. |
---|---|
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 |
Similar Items
-
Supervisory control of time-interval discrete event systems
by: Brandin, Bertil, et al.
Published: (2021) -
Real-time supervisory control of a processor for non-preemptive execution of periodic tasks
by: Chen, P.C.Y., et al.
Published: (2014) -
Two processor scheduling with real release times and deadlines
by: Wu, H., et al.
Published: (2013) -
Bisimilarity enforcing supervisory control for deterministic specifications
by: Sun, Y., et al.
Published: (2014) -
Supervisory control of an unmanned land vehicle
by: Chen, P.C.Y., et al.
Published: (2014)