Planning operations of space probes
Název práce v češtině: | Planning operations of space probes |
---|---|
Název v anglickém jazyce: | Planning operations of space probes |
Klíčová slova: | rozvrhování, plánování, omezující podmínky, mars express |
Klíčová slova anglicky: | scheduling, planning, constraint programming, mars express |
Akademický rok vypsání: | 2012/2013 |
Typ práce: | diplomová práce |
Jazyk práce: | angličtina |
Ústav: | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
Vedoucí / školitel: | prof. RNDr. Roman Barták, Ph.D. |
Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
Datum přihlášení: | 17.09.2012 |
Datum zadání: | 18.09.2012 |
Datum potvrzení stud. oddělením: | 14.12.2012 |
Datum a čas obhajoby: | 09.09.2014 11:30 |
Datum odevzdání elektronické podoby: | 01.08.2014 |
Datum odevzdání tištěné podoby: | 31.07.2014 |
Datum proběhlé obhajoby: | 09.09.2014 |
Oponenti: | RNDr. Daniel Toropila, Ph.D. |
Zásady pro vypracování |
Student will familiarise with formal modelling and solving of planning and scheduling problems. In particular, the emphasis will be put on particular problems of planning operations for space missions and existing solving techniques for these problems. Based on this study, the student will propose, implement, and evaluate a novel algorithm for integrated planning of science, communication, and maintenance operations of Mars Express Mission. |
Seznam odborné literatury |
Barták, R.: Modelling and Solving Scheduling Problems using Constraint Programming. In Proceedings of Tenth Workshop on Models and Algorithms for Planning and Scheduling Problems (invited talk), pp. 8-14, Nymburk, Czech Republic, ITI Series 2011-525, 2011.
Cesta, A., Cortellessa, G., Denis, M., Donati, A., Fratini, S., Oddi, A., Policella, N., Rabenau, E. and Schulster, J.: MEXAR2: AI Solves Mission Planner Problems. In IEEE Intelligent Systems, 22(4):12-19, 2007 Fratini, S. and Policella, N.: ICKEPS 2012 Challenge Domain: Planning Operations on the Mars Express Mission, http://icaps12.icaps-conference.org/ickeps/mexdomain Rabenau, E., Donati, A., Denis, M., Policella, N., Cesta, A., Cortellessa, G., Oddi, A., Fratini, S., and Bernardi, G.: The RAXEM Tool on Mars Express - Uplink Planning Optimisation and Scheduling Using AI Constraint Resolution. In IWPSS-09, 6th International Workshop on Planning and Scheduling for Space, Pasadena, CA, July, 2009 |