On optimal scheduling under uncertainty

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2619, Issue , 2003, Pages 240-253

  Abdeddaïm, Yasmina ^a   Asarin, Eugene ^a   Maler, Oded ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CONTINUOUS TIME SYSTEMS; MARKOV PROCESSES;

BACKWARD REACHABILITY; CONTINUOUS TIME MARKOV DECISION PROCESS; OPTIMAL SCHEDULING; OPTIMAL SCHEDULING STRATEGIES; OPTIMALITY CRITERIA; PRELIMINARY ASSESSMENT; PROBABILISTIC UNCERTAINTY; TEMPORAL UNCERTAINTY;

SCHEDULING;

EID: 27644470261     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36577-x_17     Document Type: Article

References (11)

1. Y. Abdedadïm, Scheduling with Timed Automata, PhD Thesis, INPG, 2002.
2. Y. Abdedadïm, A. Kerbaa and O. Maler Task Graph Scheduling using Timed Automata, Proc. FMPPTA'03, to appear, 2003.
3. Y. Abdedadïm and O. Maler, Job-Shop Schedusling using Timed Automata in Proc. CAV'01, 478-492, LNCS 2102, Springer 2001.
4. 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.
5. 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.
6. 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.
7. 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.
8. 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.
9. T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic Model-checking for Real-time Systems, Information and Computation 111, 193-244, 1994.
10. P. Niebert, S. Tripakis S. Yovine, Minimum-Time Reachability for Timed Automata, IEEE Mediteranean Control Conference, 2000.
11. 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.