Fundamental Research in Scheduling Algorithms
Many modern applications are of mixed criticality, where safety-critical tasks have to co-exist with less critical ones that are not subject to hard constraints. Recent research in real-time systems has yielded some promising techniques for meeting the two aspects – timing properties and efficiency. Mixed-criticality approach assumes multiple processing time values to be specified for each task depending on the levels of assurance. To enable this approach in practice, the design of novel scheduling algorithms is needed.
Projects: GACR FOREST
Human Resources Optimization
We have long-term experience with optimization of human resources. We are focused primarily on applications from health care and transport sector, but other domains interest us as well. Our specialty is problems with a high number of shift types allowing to cover personnel demand better. The algorithms designed at our group produces working plans for more than one hundred employees assuming planning horizons longer than one month and dozens of hard/soft constraints.
Energy Optimization
Energy efficiency of robotic cells is crucial for sustainable production; therefore, our research is also devoted to their optimization. Our holistic mathematical model of a robotic cell enabled us to develop efficient optimization algorithms that achieve about 25% of energy saving for an existing robotic cell at Skoda Auto.
Projects: MPO TRIO eRobot
Researchers: Šůcha Přemysl, Hanzálek Zdeněk, Chrpa Lukáš, Rohani Nezhad Mohammad, Novák Antonín
Doctorands: Grus Josef, Heinz Vilém, Med Jakub, Nyporko Andrii, Stejskal Petr, Nikolai Antonov