Abstract
In this work we treat the problem of scheduling under two types of temporal uncertainty, set-based and probabilistic. For the former we define appropriate optimality criteria and develop an algorithm for finding optimal scheduling strategies using a backward reachability algorithm for timed automata. For probabilistic uncertainty we define and solve a special case of continuous-time Markov Decision Process. The results have been implemented and were applied to benchmarks to provide a preliminary assessment of the merits of each approach.
Thisworkwas partially supported by the European Community Projects IST-2001-35304AMETIST (Advanced Methods for Timed Systems), http://ametist.cs.utwente.nl and IST- 2001-33520 CC (Control and Computation), http://www.dii.unisi.it/~hybrid/cc/
Chapter PDF
References
Y. Abdedadïm, Scheduling with Timed Automata, PhD Thesis, INPG, 2002.
Y. Abdedadïm, A. Kerbaa and O. Maler Task Graph Scheduling using Timed Automata, Proc. FMPPTA’03, to appear, 2003.
Y. Abdedadïm and O. Maler, Job-Shop Schedusling usingTimedAutomata in Proc. CAV’01, 478–492, LNCS 2102, Springer 2001.
K. Altisen, G. Goessler, A. Pnueli, J. Sifakis, S. Tripakis and S. Yovine, A Framework for Scheduler Synthesis, Proc. RTSS’99, 154–163, IEEE, 1999.
E. Asarin and O. Maler, As Soon as Possible: Time Optimal Control for Timed Automata, in Proc. HSCC’99 19–30, LNCS 1569, Springer, 1999.
E. Asarin, O. Maler, A. Pnueli and J. Sifakis, Controller Synthesis for Timed Automata, Proc. IFAC Symposium on System Structure and Control, 469–474, 1998.
G. Behrmann, A. Fehnker T.S. Hune, K.G. Larsen, P. Pettersson and J. Romijn, Efficient Guiding Towards Cost-Optimality in UPPAAL, in Proc. TACAS 2001, 174–188, LNCS 2031, Springer, 2001.
M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, and S. Yovine, Kronos: a Model-Checking Tool for Real-Time Systems, Proc. CAV’98, LNCS 1427, Springer, 1998.
T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic Model-checking for Real-time Systems, Information and Computation 111, 193–244, 1994.
P. Niebert, S. Tripakis S. Yovine, Minimum-Time Reachability for Timed Automata, IEEE Mediteranean Control Conference, 2000.
P. Niebert and S. Yovine, Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode, Proc. HSCC’00, 338–351, LNCS 1790, Springer, 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abdeddaïm, Y., Asarin, E., Maler, O. (2003). On Optimal Scheduling under Uncertainty. In: Garavel, H., Hatcliff, J. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2003. Lecture Notes in Computer Science, vol 2619. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36577-X_17
Download citation
DOI: https://doi.org/10.1007/3-540-36577-X_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00898-9
Online ISBN: 978-3-540-36577-8
eBook Packages: Springer Book Archive