TY - GEN
T1 - Task scheduling with nonlinear costs using SMT solvers
AU - Hekmatnejad, Mohammad
AU - Pedrielli, Giulia
AU - Fainekos, Georgios
N1 - Funding Information:
This work was partially supported by NSF-CMMI 1829238. 1 The authors are with the School of Computing, Informatics, and Decision Systems Engineering, Arizona State University, Tempe, USA
Publisher Copyright:
© 2019 IEEE.
PY - 2019/8
Y1 - 2019/8
N2 - There are many natural and engineering processes which require scheduling under nonlinear cost functions. Current tools and theories only support scheduling under linear cost functions. In this paper, we model the scheduling problem under nonlinear costs using Priced Timed Automata (PTA). We also present a translation from PTA to Satisfiability Modulo Theory (SMT) formulas whose models correspond to schedules which satisfy the scheduling constraints under a given cost bound. We present a case-study for batch scheduling in bio-manufacturing. We compare our results with UPPAAL CORA when the costs are linear. We show that the SMT based solution outperforms the UPPAAL CORA solver when the length of the schedule is bounded.
AB - There are many natural and engineering processes which require scheduling under nonlinear cost functions. Current tools and theories only support scheduling under linear cost functions. In this paper, we model the scheduling problem under nonlinear costs using Priced Timed Automata (PTA). We also present a translation from PTA to Satisfiability Modulo Theory (SMT) formulas whose models correspond to schedules which satisfy the scheduling constraints under a given cost bound. We present a case-study for batch scheduling in bio-manufacturing. We compare our results with UPPAAL CORA when the costs are linear. We show that the SMT based solution outperforms the UPPAAL CORA solver when the length of the schedule is bounded.
UR - http://www.scopus.com/inward/record.url?scp=85072981487&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85072981487&partnerID=8YFLogxK
U2 - 10.1109/COASE.2019.8843048
DO - 10.1109/COASE.2019.8843048
M3 - Conference contribution
AN - SCOPUS:85072981487
T3 - IEEE International Conference on Automation Science and Engineering
SP - 183
EP - 188
BT - 2019 IEEE 15th International Conference on Automation Science and Engineering, CASE 2019
PB - IEEE Computer Society
T2 - 15th IEEE International Conference on Automation Science and Engineering, CASE 2019
Y2 - 22 August 2019 through 26 August 2019
ER -