Zdenek Hanzalek - personal web page

me

professor at the Czech Technical University in Prague

Czech Institute of Informatics, Robotics and Cybernetics

Industrial Informatics Department, building A, room 514

Jugoslavskych partyzanu 1580/3, 160 00 Prague 6, Czech Republic

GPS 50.1037711N, 14.3945119E

https://rtime.ciirc.cvut.cz/~hanzalek/

zdenek.hanzalek(at)cvut.cz

Curriculum Vitae

Open Positions

Lectures on Combinatorial Optimization and videos

Scheduling Seminar


Graduated Ph.D. students

Publications

Journal papers

  1. Vahedi-Nouri, B. - Tavakkoli-Moghaddam, R. - Hanzalek, Z. - Dolgui, A.: Workforce planning and production scheduling in a reconfigurable manufacturing system facing the COVID-19 pandemic, Journal of Manufacturing Systems, doi: 10.1016/j.jmsy.2022.04.018, available online.

  2. Novak, A. - Hanzalek, Z.: Computing the execution probability of jobs with replication in mixed-criticality schedules, Annals of Operations Research, 309:209–232, January 2022, doi.org/10.1007/s10479-021-04445-x.

  3. Hejl, L. - Sucha, P. - Novak, A. - Hanzalek, Z.: Minimizing the weighted number of tardy jobs on a single machine: strongly correlated instances, European Journal of Operational Research, Volume 298, Issue 2, 16 April 2022, Pages 413-424, doi: 10.1016/j.ejor.2021.07.002.

  4. Vlk, M. - Brejchova, K. - Hanzalek, Z. - Tang, S.: Large-Scale Periodic Scheduling in Time-Sensitive Networks, Computers & Operations Research, Volume 137, January 2022, doi: 10.1016/j.cor.2021.105512.

  5. Rohaninejad, M. - Tavakkoli-Moghaddam, R. - Vahedi-Nouri, B. - Hanzalek, Z. - Shirazian, S.: A hybrid learning-based meta-heuristic algorithm for scheduling an additive manufacturing system consisting of parallel SLM machines, International Journal of Production Research, doi: 10.1080/00207543.2021.1987550, available online.

  6. Novak, A. - Sucha, P. - Novotny, M. - Stec, R. - Hanzalek, Z.: Scheduling jobs with normally distributed processing times on parallel machines, European Journal of Operational Research, Volume 297, Issue 2, 1 March 2022, Pages 422-441, doi: 10.1016/j.ejor.2021.05.011.

  7. Modos, I. - Sucha, P. - Hanzalek, Z.: On parallel dedicated machines scheduling under energy consumption limit, Computers & Industrial Engineering, Volume 159, September 2021, doi: 10.1016/j.cie.2021.107209.

  8. Minaeva, A. - Roy, D. - Akesson, B. - Hanzálek, Z. - Chakraborty, S.: Control Performance Optimization for Application Integration on Automotive Architectures, IEEE Transactions on Computers, vol. 70, no. 7, pp. 1059 - 1073, July 2021, doi: 10.1109/TC.2020.3003083.

  9. Vlk, M. - Hanzalek, Z. - Tang, S.: Constraint programming approaches to joint routing and scheduling in time-sensitive networks, Computers & Industrial Engineering, Volume 157, July 2021, doi: 10.1016/j.cie.2021.107209.

  10. Benedikt, O. - Alikoc, B. - Sucha, P. - Celikovsky, S. - Hanzalek, Z.: A polynomial-times cheduling approach to minimise idle energy consumption: an application to an industrial furnace, Computers & Operations Research, Volume 128, April 2021, doi: 10.1016/j.cor.2020.105167.

  11. Minaeva, A. - Hanzalek, Z.: Survey on Periodic Scheduling for Time-Triggered Hard Real-Time Systems, ACM Computing Surveys, Volume 54, Issue 1, March 2021, Article 23, Pages 23:1-23:32, doi: 10.1145/3431232.

  12. Vahedi-Nouri, B. - Tavakkoli-Moghaddam, R. - Hanzalek, Z. - Arbabi, H. - Rohaninejad, M.: Incorporating order acceptance, pricing and equity considerations in the scheduling of cloud manufacturing systems: Matheuristic methods, International Journal of Production Research, Volume 59, Issue 7, 2021, Pages 2009-2027, doi: 10.1080/00207543.2020.1806370.

  13. Benedikt, O. - Modos, I. - Hanzalek, Z.: Power of Pre-Processing: Production Scheduling with Variable Energy Pricing and Power-Saving States, Constraints, Volume 25, Issue 3-4, November 2020, Pages 300–318, doi: 10.1007/s10601-020-09317-y.

  14. Vlk, M. - Hanzalek, Z. - Brejchova, K. - Tang, S. - Bhattacharjee, S. - Fu, S.: Enhancing Schedulability and Throughput of Time-Triggered Traffic in IEEE 802.1Qbv Time-Sensitive Networks, IEEE Transactions on Communications, Volume 68, Issue 11, November 2020, Pages 7023-7038, doi: 10.1109/TCOMM.2020.3014105.

  15. Hanen, C. - Hanzálek, Z.: Grouping Tasks to Save Energy in a Cyclic Scheduling Problem: a Complexity Study, European Journal of Operational Research, Volume 284, Issue 2, July 2020, Pages 445-459, doi: 10.1016/j.ejor.2020.01.005, Elsevier.

  16. Ahmad, A. - Hanzálek, Z.: An Energy Efficient Distributed TDMA Scheduling Algorithm for ZigBee-Like Cluster-Tree WSNs, ACM Transactions on Sensor Networks, Volume 16, Issue 1, February 2020, Pages 1-41, doi: 10.1145/3360722, ACM.

  17. Novák, A. - Šůcha, P. - Hanzálek, Z.: Scheduling with Uncertain Processing Times in Mixed-criticality Systems, European Journal of Operational Research, Volume 279, Issue 3, December 2019, Pages 687-703, doi: 10.1016/j.ejor.2019.05.038, Elsevier.

  18. Matějka, J. - Forsberg, B. - Sojka, M. - Šůcha, P. - Benini, L. - Marongiu, A. - Hanzálek, Z.: Combining PREM Compilation and Static Scheduling for High-Performance and Predictable MPSoC Execution, Parallel Computing, Volume 85, July 2019, Pages 27-44, doi: 10.1016/j.parco.2018.11.002.

  19. Dvořák, J. - Hanzálek, Z.: Multi-variant scheduling of critical time-triggered communication in incremental development process: Application to FlexRay, IEEE Transactions on Vehicular Technology, Volume: 68 , Issue: 1 , Jan. 2019, doi: 10.1109/TVT.2018.2879920.

  20. Bukata, L. - Šůcha, P. - Hanzálek, Z.: Optimizing Energy Consumption of Robotic Cells by a Branch & Bound Algorithm, Computers & Operations Research, Volume 102, February 2019, Pages 52-66, doi: 10.1016/j.cor.2018.09.012.

  21. Václavík, R. - Novák, A. - Šůcha, P. - Hanzálek, Z.: Accelerating the Branch-and-Price Algorithm Using Machine Learning, European Journal of Operational Research, Volume 271, Issue 3, December 2018, Pages 1055-1069, doi: 10.1016/j.ejor.2018.05.046, Elsevier.

  22. Minaeva, A - Akesson, B. - Hanzálek, Z. - Dasari, D.: Time-Triggered Co-Scheduling of Computation and Communication with Jitter Requirements, IEEE Transactions on Computers, Volume 67, Issue 1, Jan. 2018 , Pages 115-129, doi: 10.1109/TC.2017.2722443, errata.

  23. Ahmad, A. - Hanzálek, Z.: An Energy Efficient Schedule for IEEE 802.15.4/ ZigBee Cluster Tree WSN with Multiple Collision Domains and Period Crossing Constraint, IEEE Transactions on Industrial Informatics, Volume 14, Issue 1, January 2018, Pages 12-23, doi: 10.1109/TII.2017.2725907.

  24. Dürr, Ch. - Hanzálek, Z. - Konrad, Ch. - Seddik, Y. - Sitters, R. - Vásquez, Ó. - Woeginger, G.: The triangle scheduling problem, Journal of Scheduling, June 2018, Volume 21, Issue 3, pp 305–312, doi: 10.1007/s10951-016-0468-y, Springer.

  25. Módos, I. - Šůcha, P. - Hanzálek, Z.: Algorithms for robust production scheduling with energy consumption limits, Computers & Industrial Engineering, Volume 112, October 2017, Pages 391-408, doi: 10.1016/j.cie.2017.08.011, Elsevier.

  26. Seddik, Y. - Hanzálek, Z.: Match-up scheduling of mixed-criticality jobs: maximizing the probability of jobs execution, European Journal of Operational Research, Volume 262, Issue 1, October 2017, Pages 46-59, doi: 10.1016/j.ejor.2017.03.054, Elsevier.

  27. Bukata, L. - Šůcha, P. - Hanzálek, Z. - Burget, P.: Energy Optimization of Robotic Cells, IEEE Transactions on Industrial Informatics, Volume 13, Issue 1, February 2017, Pages 92-102, doi: 10.1109/TII.2016.2626472. Grade 1 publication result in natural sciences of the Czech Republic.

  28. Hanzálek, Z. - Šůcha, P.: Time Symmetry of Resource Constrained Project Scheduling with General Temporal Constraints and Take-give Resources, Annals of Operations Research, January 2017, Volume 248, Issue 1, Pages 209–237, doi: 10.1007/s10479-016-2184-6, corrections doi: 10.1007/s10479-017-2704-z, Springer.

  29. Módos, I. - Šůcha, P. - Václavík, R. - Smejkal, J. - Hanzálek, Z.: Adaptive online scheduling of tasks with anytime property on heterogeneous resources, Computers & Operations Research, December 2016, Volume 76, Pages 95–117, doi: 10.1016/j.cor.2016.06.008, Elsevier.

  30. Václavík, R. - Šůcha, P. - Hanzálek, Z.: Roster evaluation based on classifiers for the nurse rostering problem, Journal of Heuristics, October 2016, Volume 22, Issue 5, Pages 667–697, doi: 10.1007/s10732-016-9314-9, Springer.

  31. Dvořák, J. - Hanzálek, Z.: Using Two Independent Channels with Gateway for FlexRay Static Segment Scheduling, IEEE Transactions on Industrial Informatics, October 2016, Volume 12, Issue 5, Pages 1887-1895, doi: 10.1109/TII.2016.2571667.

  32. Hanzálek, Z. - Tunys T. - Šůcha, P.: An Analysis of the Non-preemptive Mixed-criticality Match-up Scheduling Problem, Journal of Scheduling, October 2016, Volume 19, Issue 5, pp 601–607, doi: 10.1007/s10951-016-0468-y, Springer.

  33. Bäumelt, Z. - Dvořák, J. - Šůcha, P. - Hanzálek, Z.: A Novel Approach for Nurse Rerostering based on a Parallel Algorithm, European Journal of Operational Research, June 2016, Volume 251, Issue 2, Pages 624–639, doi: 10.1016/j.ejor.2015.11.022, Elsevier.

  34. Minaeva, A - Šůcha, P. - Akesson, B. - Hanzálek, Z.: Scalable and Efficient Configuration of Time-Division Multiplexed Resources, Journal of Systems and Software, March 2016, Volume 113, Pages 44–58, doi: 10.1016/j.jss.2015.11.019, Elsevier.

  35. Hanzálek, Z. - Hanen, C.: Impact of core precedences in a Cyclic RCPSP with Precedence Delays, Journal of Scheduling, doi: 10.1007/s10951-014-0399-4, Volume 18, Issue 3, June 2015, Pages 275-284, Springer.

  36. Bukata, L. - Šůcha, P. - Hanzálek, Z.: Solving the Resource Constrained Project Scheduling Problem Using the Parallel Tabu Search Designed for the CUDA Platform, Journal of Parallel and Distributed Computing, doi:10.1016/j.jpdc.2014.11.005, Volume 77, March 2015, Pages 58–68, Elsevier.

  37. Bäumelt, Z. - Šůcha, P. - Hanzálek, Z.: A Multistage Approach for an Employee Timetabling Problem with a High Diversity of Shifts as a Solution for a Strongly Varying Workforce Demand, Computers & Operations Research, doi: 10.1016/j.cor.2014.03.019, Volume 49, September 2014, Pages 117-129, Elsevier.

  38. Trdlička, J. - Hanzálek, Z.: In-Network Distributed Algorithm for Energy Optimal Routing based on Dual Decomposition of Linear Programming, IEEE Transactions on Communications, doi:  10.1109/TCOMM.2012.041212.110166, Volume 60, Issue 6, Pages 1634 - 1645, June 2012.

  39. Čapek, R. - Šůcha, P. - Hanzálek, Z.: Production Scheduling with Alternative Process Plans, European Journal of Operational Research, Volume 217, Issue 2, March 2012, Pages 300–311, doi:10.1016/j.ejor.2011.09.018, Elsevier.

  40. Trdlička, J. - Hanzálek, Z.: Distributed Algorithm for Real-Time Energy Optimal Routing based on Dual Decomposition of Linear Programming. International Journal of Distributed Sensor Networks, Vol. 2012, 13 pages, 2012. doi:10.1155/2012/346163.

  41. Špinka, O. - Holub, O. - Hanzálek, Z.:  Low-Cost Reconfigurable Control System for Small UAVs. IEEE Transactions on Industrial Electronics. doi: 10.1109/TIE.2009.2030827, Volume 58, Number 3, Pages 880-889, March 2011.

  42. Sojka, M.- Pisa,P. - Faggioli, D. - Cucinotta, T. - Checconi, F. - Hanzalek, Z. - Lipari, G.: Modular Software Architecture for Flexible Reservation Mechanisms on Heterogeneous Resources, Journal of Systems Architecture, 2011, vol. 57, no. 4, p. 366-382, doi:10.1016/j.sysarc.2011.02.005, Elsevier.

  43. Kelbel, J. - Hanzálek, Z.: Solving production scheduling with earliness/tardiness penalties by constraint programming. Journal of Intelligent Manufacturing,  2011, vol. 22, no. 4, p. 553-562, doi 10.1007/s10845-009-0318-2,  Springer.

  44. Šůcha, P., Hanzálek, Z.: A Cyclic Scheduling Problem with an Undetermined Number of Parallel Identical Processors. Computational Optimization and Applications, Volume 48, Number 1, p. 71-90, January 2011, doi: 10.1007/s10589-009-9239-4, Springer.

  45. Waszniowski, L. - Hanzálek, Z. - Doubrava, J.: Aircraft Control System Validation via Hardware-in-the Loop Simulation, Journal of Aircraft,  vol. 48, issue: 4, Pages: 1466-1468 , July-August 2011,  doi: 10.2514/1.C031229, AIAA.

  46. Hanzálek, Z. - Burget, P. - Šůcha, P.: Profinet IO IRT Message Scheduling with Temporal Constraints. IEEE Transactions on Industrial Informatics, doi: 10.1109/TII.2010.2052819, Volume 6, Number 3, Pages 369 - 380, August 2010.

  47. Hanzálek, Z. - Jurčík, P.: Energy efficient scheduling for cluster-tree Wireless Sensor Networks with time-bounded data flows: application to IEEE 802.15.4/ZigBee. IEEE Transactions on Industrial Informatics. doi:  10.1109/TII.2010.2050144,  Volume 6, Number 3, Pages 438 - 450, August 2010.

  48. Špinka, O. - Akesson, J. - Hanzálek, Z. - Arzen, K.: Open Physical Models in Control Engineering Education. International Journal of Electrical Engineering Education, 2010, vol. 47, no. 4, p. 448-459, Manchester University Press.

  49. Trdlička, J. - Hanzálek, Z.: Distributed Multi-Commodity Network Flow Algorithm for Energy Optimal Routing in Wireless Sensor Networks. Radioengineering. 2010, vol. 2010, no. 4, p. 579-588. ISSN 1210-2512.

  50. Waszniowski, L. - Krákora, J. - Hanzálek, Z.: Case Study on Distributed and Fault Tolerant System Modelling Based on Timed Automata. Journal of Systems and Software. Volume 82, Issue 10, October 2009, Pages 1678-1694,  doi:10.1016/j.jss.2009.04.042, Elsevier.

  51. Krákora, J. - Hanzálek, Z.: FPGA Based Tester Tool for Hybrid Real-Time Systems. Microprocessors and Microsystems  - Embedded Hardware Design. November 2008, vol. 32, no. 8, p. 447-459, doi:10.1016/j.micpro.2008.07.003, Elsevier Science.

  52. Šůcha, P., Hanzálek, Z.: Deadline Constrained Cyclic Scheduling on Pipelined Dedicated Processors Considering Multiprocessor Tasks and Changeover Times, Mathematical and Computer Modelling, Volume 47, Issues 9-10, May 2008, p. 925-942, doi:10.1016/j.mcm.2007.05.009, Pergamon-Elsevier Science.

  53. Waszniowski, L. - Hanzálek, Z.: Formal Verification of Multitasking Applications Based on Timed Automata Model, Real-Time Systems, Volume 38, Number 1, January, 2008, p. 39-65, doi: 10.1007/s11241-007-9036-z, Springer.

  54. Šůcha, P., Hanzálek, Z., Heřmánek, A., Schier, J.: Scheduling of Iterative Algorithms with Matrix Operations for Efficient FPGA Design - Implementation of Finite Interval Constant Modulus Algorithm, The Journal of VLSI Signal Processing, Volume 46, Number 1, January, 2007, p. 35-53, doi:10.1007/s11265-006-0004-y, Springer. 

  55. Hanzálek, Z.: A Parallel Algorithm for Gradient Training of Feedforward Neural Networks, Parallel Computing, Volume 24, Issue 5-6, June 1998, p. 823-839,  doi:10.1016/S0167-8191(98)00035-0, Elsevier Science.

Conference papers

  1. Z. Hanzálek; J. Dvořák: Incremental Scheduling of the Time-triggered Traffic on TTEthernet Network, In: 11th International Conference on Operations Research and Enterprise Systems - ICORES, 302-313, 2022 . Best Paper Award.
  2. J. Vlasak., M. Sojka., and Z. Hanzalek: Parallel parking: Optimal entry and minimum slot dimensions. In Proceedings of the 8th International Conference on Vehicle Technology and Intelligent Transport Systems - VEHITS 2022, pp. 300–307, doi: 10.5220/0011045600003191, INSTICC, SciTePress, 2022.
  3. KLAPÁLEK, J., SOJKA, M., HANZÁLEK, Z.: Comparison of Control Approaches for Autonomous Race Car Model. In: Proceedings of the FISITA 2021 World Congress. FISITA 2021 World Congress, Praha, 2021-09-14/2021-09-16. London: FISITA - International Federation of Automotive Engineering Societies, 2021. doi: 10.46720/F2020-ACM-053.
  4. Klapálek, J.; Novák, A.; Sojka, M.; Hanzálek, Z.: Car Racing Line Optimization with Genetic Algorithm using Approximate Homeomorphism. In: 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Praha, 2021-09-27/2021-10-01. Piscataway: IEEE, 2021. p. 601-607. doi: 10.1109/IROS51168.2021.9636503. Student award.
  5. AHMAD, A., SEVERINO, R., HANZÁLEK, Z.: An Exact Scheduling Algorithm for Convergecast and Broadcast in Tree Topology WSNs - An Application to DSME-IEEE 802.15.4e. In: 17th IEEE International Workshop on Factory Communication Systems 2021. Linz, 2021-06-09/2021-06-11. Vienna: IEEE Industrial Electronic Society, 2021. p. 7-14. doi: 10.1109/WFCS46889.2021.9483608.
  6. SOJKA, M., O. BENEDIKT, and Z. HANZÁLEK: Determining MPSoC Layout from Thermal Camera Images. In: EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, 2021-10-08/2021-10-15. New York: Association for Computing Machinery, 2021. p. 39-40. doi: 10.1145/3477244.3477619.
  7. J. Záhora; M. Sojka; Z. Hanzálek: Perception, Planning and Control System for Automated slalom with Porsche Panamera, In: 38th FISITA 2021 World Congress, Prague, 14–16 September 2021.
  8. Benedikt, O.; Sojka, M.; Zaykov, P.; Hornof, D.; Kafka, M.; Šůcha, P.; Hanzálek, Z.: Thermal-Aware Scheduling for MPSoC in the Avionics Domain: Tooling and Initial Results, In: 2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). Piscataway: IEEE, 2021. p. 159-168. ISSN 2325-1271. ISBN 978-1-6654-4189-6. Best Paper Award.
  9. Rohaninejad, M.; Hanzálek, Z.; Tavakkoli-Moghaddam, R.: Scheduling of Parallel 3D-Printing Machines with Incompatible Job Families: A Matheuristic Algorithm, In: Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems. Cham: Springer, 2021. p. 51-61. doi: 10.1007/978-3-030-85874-2_6.
  10. Vahedi-Nouri, B.; Tavakkoli-Moghaddam1, T.; Hanzálek, Z.; Dolgui, A.: Integrated Workforce Allocation and Scheduling in a Reconfigurable Manufacturing System Considering Cloud Manufacturing, In: Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems. Cham: Springer, 2021. p. 535-543. doi: 10.1007/978-3-030-85902-2_57.
  11. Benedikt, O.; Módos, I.; and Z. Hanzálek, Z.: Power of Pre-Processing: Production Scheduling with Variable Energy Pricing and Power-Saving States. In: Lecture Notes in Computer Science. 17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2020. Cham: Springer International Publishing, 2020. p. xxi-xxiii. Student Paper Award.
  12. Sojka, M., Benedikt, O., Hanzálek, Z., Zaykov, P.: Testbed for thermal and performance analysis in MPSoC systems, In: Proceedings of the 2020 Federated Conference on Computer Science and Information Systems, FedCSIS 2020. IEEE 2020. p. 683-692. vol. 21. doi: 10.15439/2020F174.
  13. Bouška, M., Novák, A., Šůcha, P., Módos, I., Hanzálek, Z.: Data-driven Algorithm for Scheduling with Total Tardiness. In: Proceedings of the 9th International Conference on Operations Research and Enterprise Systems, ICORES 2020. SciTePress - Science and Technology Publications, 2020. p. 59-68. doi: 10.5220/0008915300590068.
  14. Benedikt, O.; Šůcha, P.; and Z. Hanzálek, Z.: On Idle Energy Consumption Minimization in Production: Industrial Example and Mathematical Model. In: Proceedings of the 9th International Conference on Operations Research and Enterprise Systems, ICORES 2020. SciTePress - Science and Technology Publications, 2020. p. 35-46. doi: 10.5220/0008877400350046. Best Student Paper Award.
  15. Hladík, R.; Minaeva, A.; Hanzálek, Z.: On the Complexity of a Periodic Scheduling Problem with Precedence Relations, In: 14th Annual International Conference on Combinatorial Optimization and Applications, COCOA 2020. Lecture Notes in Computer Science, Cham: Springer, 2020. p. 107-124. vol. 12577, doi: 10.1007/978-3-030-64843-5_8 Springer.
  16. Štec, R.; Novák, A.; Šůcha, P.; Hanzálek, Z.: Scheduling Jobs with Stochastic Processing Time on Parallel Identical Machines. In: International Joint Conferences on Artificial Intelligence Organization, IJCAI 2019, p. 5628-5634. ISBN 978-0-9992411-4-1.
  17. Vlasák, J.; Sojka, M.; Hanzálek, Z.: Accelerated RRT* and Its Evaluation on Autonomous Parking. In: International Conference on Vehicle Technology and Intelligent Transport Systems, VEHITS 2019, p. 86-94. ISBN 978-989-758-374-2. Best Industrial Paper Award.
  18. Kreiliger, F.; Matějka, J.; Sojka, M.; Hanzálek, Z.: Experiments for Predictable Execution of GPU Kernels. In: Workshop on Operating Systems Platforms for Embedded Real-Time Applications, OSPERT 2019, p. 23-28.
  19. Módos, I.; Kalodkin, K.; Hanzálek, Z.; Šůcha, P.: Scheduling on dedicated machines with energy consumption limit. In: International Conference on Operations Research and Enterprise Systems, ICORES 2019 , p. 53-62. ISBN 978-989-758-352-0.
  20. Vlk, M.; Novák, A.; Hanzálek, Z.: Makespan Minimization with Sequence-dependent Non-overlapping Setups. In: 8th International Conference on Operations Research and Enterprise Systems, ICORES 2019, pp.91-101. Best Student Paper Award.
  21. Matějka, J.; Hanzálek, Z.; Forsberg, B.; Benini, L.; Sojka, M.; Marongiu, A.: Combining PREM compilation and ILP scheduling for high-performance and predictable MPSoC execution. In: International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2018, p. 11-20, ACM. ISBN 978-1-4503-5645-9.
  22. Benedikt, O.; Šůcha, P.; Módos, I.; Vlk, M.; Hanzálek, Z.: Energy-aware production scheduling with power-saving modes. In: International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019. Lecture Notes in Computer Science, Springer-Verlag, 2018. p. 72-81. ISSN 0302-9743. ISBN 978-3-319-93030-5.
  23. HANZÁLEK, Z., ČAPEK, R., and ŠŮCHA, P.: Total Setup Time Minimisation in Production Scheduling with Alternatives. In: Industrial Applications of Holonic and Multi-Agent Systems. 8th International Conference, HoloMAS 2017, Springer. 2017, ISBN 978-3-319-64634-3.
  24. VLK, M., BARTÁK, R., and HANZÁLEK, Z.: Minimization of Useless Work in Resource Failure Recovery of Workflow Schedules. In: Proceedings of ETFA'2017. The 22nd IEEE International Conference on Emerging Technologies And Factory Automation. Piscataway, NJ: IEEE. 2017
  25. DVOŘÁK, J., HELLER, M., and HANZÁLEK, Z.: Makespan minimization of Time-Triggered traffic on a TTEthernet network. In: IEEE 13th International Workshop on Factory Communication Systems (WFCS). Piscataway: IEEE. 2017, ISBN 978-1-5090-5788-7.
  26. HOUDEK, P., SOJKA, M., and HANZÁLEK, Z.: Towards predictable execution model on ARM-based heterogeneous platforms. In: 26th IEEE International Symposium on Industrial Electronics. ISIE 2017, pp. 1297-1302. ISBN 978-1-5090-1412-5.
  27. AHMAD, A. and HANZÁLEK, Z.: Distributed Real Time TDMA Scheduling Algorithm for Tree Topology WSNs. In: The 20th World Congress of the International Federation of Automatic Control. Elsevier. 2017, pp. 5926-5933. ISSN 2405-8963.
  28. NOVÁK, A., HANZÁLEK, Z., and ŠŮCHA, P.: Scheduling of safety-critical time-constrained traffic with F-shaped messages. In: IEEE 13th International Workshop on Factory Communication Systems (WFCS). Piscataway: IEEE. 2017, ISBN 978-1-5090-5788-7.
  29. NOVÁK, A., ŠŮCHA, P., and HANZÁLEK, Z.: Exact Approach to the Scheduling of F-shaped Tasks with Two and Three Criticality Levels. In: International Conference on Operations Research and Enterprise Systems, 2017, pp. 160-170. ISBN 978-989-758-218-9.
  30. NOVÁK, A., ŠŮCHA, P., and HANZÁLEK, Z.: Efficient Algorithm for Jitter Minimization in Time-Triggered Periodic Mixed-Criticality Message Scheduling Problem. In: 24th International Conference on Real-Time Networks and Systems. New York: ACM. 2016, pp. 23-31. ISBN 978-1-4503-4787-7.
  31. MÓDOS, I., ŠŮCHA, P., and HANZÁLEK, Z.: Robust Scheduling for Manufacturing with Energy Consumption Limits. In: 21st IEEE International Conference on Emerging Technologies and Factory Automation. Piscataway, NJ: IEEE. 2016, ISSN 1946-0740.
  32. AHMAD, A. and HANZÁLEK, Z.: ZigBee Cluster Tree Formation For Time-Bounded Data Flows in One Collision Domain. In: 11th IEEE World Conference on Factory Communication Systems. Piscataway: IEEE. 2015, pp. 1-4. ISBN 978-1-4799-8244-8.
  33. DVOŘÁK, J. and HANZÁLEK, Z.: FlexRay Static Segment Scheduling on Two Independent Channels with Gateway. In: 11th IEEE World Conference on Factory Communication Systems. Piscataway: IEEE. 2015, pp. 1-4. ISBN 978-1-4799-8244-8.
  34. Akesson, B. - Minaeva, A. - Šůcha, P. - Nelson, A. - Hanzálek, Z.: An efficient configuration methodology for time-division multiplexed single resources. In Real-Time and Embedded Technology and Applications Symposium. Piscataway: IEEE, 2015, p. 161-171. ISBN 978-1-4799-8603-3.
  35. Ahmad, A. - Hanzálek, Z. - Hanen, C.: A Polynomial scheduling algorithm for IEEE 802.15.4/ ZigBee cluster tree WSN with one collision domain and period crossing constraint. In Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation. Piscataway: IEEE, 2014, p. 1-8. ISBN 978-1-4799-4845-1.
  36. Hanzálek, Z. - Tunys, T.: Mixed-criticality scheduling of messages in time-triggered protocols. In Proceedings of the 10th IEEE International Workshop on Factory Communication Systems. Piscataway: IEEE, 2014, p. 1-4. ISBN 978-1-4799-3235-1.
  37. Sojka, M. - Kreč, M. - Hanzálek, Z.: Case study on combined validation of safety and security requirements. In Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems. Piscataway: IEEE, 2014, p. 244-251. ISBN 978-1-4799-4023-3.
  38. Sojka, M. - Píša, P. - Hanzálek, Z.: Performance evaluation of Linux CAN-related system calls. In Proceedings of the 10th IEEE International Workshop on Factory Communication Systems. Piscataway: IEEE, 2014, art. no. 6837608, p. 1-8. ISBN 978-1-4799-3235-1.
  39. Dvořák, J. - Hanzálek, Z.: Multi-Variant Time Constrained FlexRay Static Segment Scheduling. In Proceedings of the 10th IEEE International Workshop on Factory Communication Systems. Piscataway: IEEE, 2014, art. no. 6837576, p. 1-8. ISBN 978-1-4799-3235-1.
  40. Lisový, R. - Sojka, M. - Hanzálek, Z.: PCI Express as a Killer of Software-based Real-Time Ethernet. In The 12th International Workshop on Real-Time Networks. Sangt Augustin: Euromicro, 2013.
  41. Václavík, R. - Šůcha, P. - Hanzálek, Z.: A Low Time-Consuming Rosters Evaluation in Personnel Scheduling Problems Based on Pattern Learning. In Proceedings of the 14th EU/ME workshop. Erkelenz: EURO - The Association of European Operational Research Societies, 2013, p. 38-43. ISBN 978-3-86818-049-7.
  42. Sojka, M. - Píša, P. - Špinka, O. - Hartkopp, O. - Hanzálek, Z.: Timing Analysis of a Linux-Based CAN-to-CAN Gateway. In Thirteenth Real-Time Linux Workshop. Schramberg: Open Source Automation Development Lab eG, 2011, p. 165-172. ISBN 978-3-00-036193-7.
  43. Hanzálek, Z. - Beneš, D. - Waraus, D.: Time Constrained FlexRay Static Segment Scheduling. In Proceedings of the 10th International Workshop on Real-Time Networks. Porto: University of Porto, 2011, p. 61-67.
  44. Špinka, O. - Hanzálek, Z.: Energy-Aware Navigation and Guidance Algorithms for Unmanned Aerial Vehicles. In 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. 445 Hoes Lane, Piscataway, NJ 08854-4141: IEEE, 2011, p. 83-88. ISSN 1533-2306. ISBN 978-1-4577-1118-3.
  45. Bäumelt, Z. - Šůcha, P. - Hanzálek, Z.: An Evolutionary Algorithm in a Multistage Approach for an Employee Rostering Problem with a High Diversity of Shifts. In Proceedings of the 8th International Conference on the Practice and Theory of Automated Timetabling. Belfast: Queen's University of Belfast, 2010, p. 97-112. ISBN 08-538-9973-3.
  46. Čapek, R. - Šůcha, P. - Hanzálek, Z.: Alternative Process Plans in Wire Harnesses Production. In 15th IEEE International Conference on Emerging Technologies and Factory Automation. Barcelona 2010, p. 1-8. ISBN 978-1-4244-6849-2.
  47. Jurčík, P. - Hanzálek, Z.: Simulation study of energy efficient scheduling for IEEE 802.15.4/ZigBee cluster-tree Wireless Sensor Networks with time-bounded data flows. In 15th IEEE International Conference on Emerging Technologies and Factory Automation. Barcelona 2010, p. 9-16. ISBN 978-1-4244-6849-2.
  48. Sojka, M. - Píša, P. - Petera, M. - Špinka, O. - Hanzálek, Z.: A Comparison of Linux CAN Drivers and their Applications. In 5th IEEE International Symposium on Industrial Embedded Systems. Trento 2010, ISBN 978-1-4244-5840-0.
  49. Bäumelt, Z. - Waszniowski, L. - Šůcha, P. - Hanzálek, Z.: Integrated Vehicle Routing and Rostering in Home Health Care Services. In Operations Research for Patient-Centered Health Care Delivery. University of Genova, 2010, p. 267-275. ISBN 978-88-568-2595-4.
  50. Trdlička, J. - Hanzálek, Z.: Distributed Algorithm for Energy Optimal Multi-Commodity Network Flow Routing in Sensor Networks. IEEE International Conference on Wireless Communications and Signal Processing (WCSP). Beijing 2010, ISBN 978-1-4244-7556-8.
  51. Kutil, M. - Hanzálek, Z.: Light Controlled Intersection Model Based on the Continuous Petri Net, 12th IFAC Symposium on Control in Transportation Systems (CTS'09) September 2-4, 2009.
  52. Hanzálek, Z. - Burget.P - Šůcha, P.: Profinet IO IRT Message Scheduling. 21st Euromicro Conference on Real-Time Systems, ECRTS, Dublin. July, 2009, pp. 57-65, 978-0-7695-3724-5.
  53. Hanzálek, Z. - Šůcha, P.: Time symmetry of project scheduling with time windows and take-give resources. 4th Multidisciplinary International Scheduling Conference: Theory and Applications, MISTA. Dublin. August, 2009.
  54. Hnetynka, P. - Bures, T. - Prochazka, M. - Ward, R. - Hanzálek, Z.: SOFA High Integrity: our Approach to SAVOIR. Data Systems In Aerospace, DASIA. Istanbul. May, 2009.
  55. Waszniowski, L. - Hanzálek, Z. - Doubrava, J.: Validation of Yaw Damper Controller via Hardware in the Loop Simulation. In Proceedings of the AIAA Modeling and Simulation Technologies Conference 2008. Reston: American Institute of Aeronautics and Astronautics, 2008, p. 320-331.
  56. Kelbel, J. - Hanzálek, Z.: Feeder Setup Optimization in SMT Assembly. In Proceedings of the 21st International FLAIRS Conference - WiP Session. Menlo Park, California: AAAI Press, 2008, p. 575-576. ISBN 978-1-57735-365-2.
  57. Krákora, J. - Hanzálek, Z.: Optimisation of Applications for FPGAs with PowerPC Processor Using Priced Timed Automata. In IEEE International Symposium on Industrial Electronics; ISIE 2008. Cambridge: Anglia Ruskin University, 2008, ISBN 978-1-4244-1666-0.
  58. Singh, I. - Trdlička, J. - Hanzálek, Z.: ITEM - Implementation of Integrated TDMA and E-ASAP Module. In Proceedings WiP Session of 20th Euromicro Conference on Real - Time Systems. Praha: Czech Technical University in Prague, 2008, p. 64-67.
  59. Sojka, M. - Molnár, M. - Hanzálek, Z.: Experiments for Real-Time Communication Contracts in IEEE 802.11e EDCA Networks. In Proceedings of 2008 IEEE International Workshop on Factory Communication System - WiP Session. Piscataway: IEEE, 2008, p. 89-92. ISBN 978-1-4244-2349-1.
  60. Šůcha, P. - Hanzálek, Z.: Scheduling of a LQ Control Algorithm for Efficient FPGA Implementation. In 17th IFAC World Congress, July 6-11, 2008, SEOUL, KOREA. Seoul: IFAC, 2008, p. 261.
  61. Trdlička, J. - Hanzálek, Z. - Johansson, M.: Optimal Flow Routing in Multi-hop Sensor Networks with Real-Time Constraints through Linear Programming. In 12th IEEE International Conference on Emerging Technologies and Factory Automation. Piscataway: Institute of Electrical and Electronic Engineers, 2007, ISBN 1-4244-0826-1.
  62. Jurčík, P. - Koubaa, A. - Alves, M. - Tovar, E. - Hanzálek, Z.: A Simulation Model for the IEEE 802.15.4 Protocol: Delay/Throughput Evaluation of the GTS Mechanism. In Proceedings of MASCOTS’07 15th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Piscataway: IEEE, 2007, p. 109-116. ISBN 978-1-4244-1853-4.
  63. Kelbel, J. - Hanzálek, Z.: Constraint Programming Search Procedure for Earliness/Tardiness Job Shop Scheduling Problem. In Proceedings of the 26th Workshop of the UK Planning and Scheduling Special Interest Group. Praha: UK MFF, 2007, p. 67-70. ISSN 1368-5708.
  64. Peca , M. - Sojka, M. - Hanzálek, Z.: SPEJBL - The Biped Walking Robot. In Preprints 7th IFAC International Conference on Fieldbuses and nETworks in industrial and embedded systems. Toulouse: Universite Toulouse, 2007, p. 63-70.
  65. Špinka, O. - Kroupa, Š. - Hanzálek, Z.: Control System for Unmanned Aerial Vehicles. In 5th IEEE International Conference on Industrial Informatics. Piscataway: IEEE, 2007, p. 455-460. ISBN 1-4244-0864-4.
  66. Šůcha, P. - Hanzálek, Z.: Cyclic Scheduling of Tasks with Unit Processing Time on Dedicated Sets of Parallel Identical Processors. In Proceedings of the 3rd Multidisciplinary International Conference on Scheduling: Theory and Application . Paris: LIP6, 2007, p. 463-470.
  67. Bartosinski, R. - Hanzálek, Z. - Stružka, P. - Waszniowski, L.: Integrated Environment for Embedded Control Systems Design. In IEEE International Parallel & Distributed Processing Symposium, WPDRTS07.
  68. Šůcha, P. - Kutil, M. - Sojka, M. - Hanzálek, Z.: TORSCHE Scheuling Toolbox for Matlab. In IEEE Symposium on Computer-Aided Control System Design 2006. Piscataway: IEEE, 2006, p. 50-52. ISBN 0-7803-9797-5.
  69. Kelbel, J. - Hanzálek, Z.: A Case Study on Earliness/Tardiness Scheduling by Constraint Programming. Twelfth International Conference on Principles and Practice of Constraint Programming - Doctoral Program, 2006, Nantes: Laboratoire D’Informatique de Nantes Atlantique (LINA), 2006, p. 108-113.
  70. Krákora, J. - Hanzálek, Z.: Testing of Hybrid Real-time Systems Using FPGA Platform. In IEEE Symposium on Industrial Embedded Systems – IES 2006. Lyon: CNRS-ENS, 2006, ISBN 1-4244-0777-X.
  71. Kutil, M. - Hanzálek, Z. - Cervin, A.: Balancing the Waiting Times in a Simple Traffic Intersection Model. In 11th IFAC Symposium on Control in Transportation Systems. New York: IFAC, 2006, p. 313-318.
  72. Šůcha, P. - Hanzálek, Z.: Scheduling of Tasks with Precedence Delays and Relative Deadlines - Framework for Time-optimal Dynamic Reconfiguration of FPGAs. In IEEE International Parallel & Distributed Processing Symposium. New York: IEEE Press, 2006, p. 170. ISBN 1-4244-0054-6.
  73. Špinka, O. - Krákora, J. - Sojka, M. - Hanzálek, Z.: Low-cost avionics system for ultra-light aircraft. 11th IEEE International  Conference on Emerging Technologies and Factory Automation. Piscataway: IEEE, 2006, p. 102-109. ISBN 1-4244-0681-1.
  74. Šůcha, P. - Hanzálek, Z. - Heřmánek, A. - Schier, J.: Efficient FPGA Implementation of Equalizer for Finite Interval Constant Modulus Algorithm. In IEEE Symposium on Industrial Embedded Systems – IES 2006. Lyon: CNRS-ENS, 2006, ISBN 1-4244-0777-X.
  75. Jurčík, P., Hanzálek, Z.: Construction of the Bounded Application layer Multicast Tree in the Overlay Network Model by the Integer Linear Programming, 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05), Catania, Italy, September, 2005.
  76. Pohl, Z., Šůcha, P., Kadlec, J., Hanzálek, Z.: Performance Tuning of Iterative Algorithms in Signal Processing, The International Conference on Field-Programmable Logic and Applications (FPL'05), IEEE, Tampere, Finland, August 2005.
  77. Waszniowski, L. - Hanzalek, Z. Over-approximate Model of Multitasking Application Based on Timed Automata Using Only One Clock,  19th IEEE International Parallel and Distributed Processing Symposium IPDPS 2005, WPDRTS, Denver, USA, April, 2005.
  78. Šůcha, P., Pohl, Z., Hanzálek, Z.: Scheduling of Iterative Algorithms on FPGA with Pipelined Arithmetic Unit, 10th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, Toronto, May 25 - 28, 2004.
  79. Krákora, J., Waszniowski, L., Píša P., Hanzálek, Z.: Timed Automata Approach to Real Time Distributed System Verification, 5th IEEE International Workshop on Factory Communication Systems, WFCS, Vienna, September 22-24, 2004.
  80. Dolejš, O., Smolík, P., Hanzálek, Z.: On the Ethernet Use for Real-Time Applications, 5th IEEE International Workshop on Factory Communication Systems, WFCS, Vienna, September 22-24, 2004.
  81. Svádová, M., Hanzálek, Z.: An algorithm for evolution graph of extended Hybrid Petri nets, IEEE International Conference on Systems, Man & Cybernetics, Hague, October 5-8, 2004.
  82. Krákora, J., Hanzálek, Z.: Timed Automata Approach for CAN Verification, 11th IFAC Symposium on Information Control Problems in Manufacturing, INCOM, Salvador, Elsevier, April 2004.
  83. Waszniowski, L., Hanzálek, Z.: Analysis of OSEK/VDX Based Automotive Applications, IFAC Symposium on Advances in Automotive Control, Salerno, Elsevier, April 2004.
  84. Šůcha, P., Hanzálek, Z.: Scheduling with Start Time Related Deadlines, IEEE Conference on Computer Aided Control Systems Design, Taipei, September 2-4, 2004.
  85. Krákora, J., Hanzálek, Z.: Verifying Real-Time Properties of CAN Bus by Timed Automata, FISITA, World Automotive Congress, Barcelona, May 2004.
  86. Waszniowski, L., Hanzálek, Z.: Analysis of Real Time Operating System Based Applications, First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, September 6-7 20 03, Marseille, France, LNCS 2791 Springer, pp. 219 – 233, ISBN: 3-540-21671-5.
  87. Hanzálek, Z.: Continuous Petri Nets and Polytopes, 2003 IEEE International Conference on Systems, Man & Cybernetics, October 5-8, 2003 in Washington, D.C., USA.
  88. Svádová, M., Hanzálek, Z.: Modeling of systems with delays using Hybrid Petri Nets, IFAC Conference on Control Systems Design, Bratislava 2003.
  89. Dolejš, O., Hanzálek, Z.: Optimality of the Tree Building Control Protocol. In: International Conference on Parallel and Distributed Processing Techniques and Applications. Las Vegas: CSREA Press, 2002, vol. 4, p. 1685-1686. ISBN 1-892512-90-4.
  90. Dub, M., Pipan, G., Hanzálek, Z.: Stock Optimization of a Kanban-based Assembly Line. In: Proceedings of the 12th International Conference on Flexible Automation and Intelligent Manufacturing. München: Oldenbourg Wissenschaftsverlag, 2002, p. 258-267. ISBN 3-486-27036-2.
  91. Hanzálek, Z., Svádová, M.: Matlab Toolbox for PetriNets, 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 2001.
  92. Hanzálek, Z., J.Čapek: STPN Model of Physical and MAC layer of LonWorks, IFAC Conference on Control Systems Design, Bratislava 2000.
  93. Hanzálek, Z., Pácha, T.: Use of the Fieldbus Systems in an Academic Setting, Real-time Systems Education III, IEEE Computer Society Press 1999.
  94. Hanzálek, Z.: Algorithm Modeling with Petri Nets - Comparison with Data Dependence Graphs, IEEE International Conference on Systems, Man, and Cybernetics, La Jolla. 1998.
  95. Hanzálek, Z.: Petri Net Cyclic Scheduling, 3rd IEEE European Workshop on Computer Intensive Methods in Control and Data Processing, UTIA CAV & University of Reading, Prague 1998.
  96. Hanzálek, Z., Schmieder, E., Wenzel, P.: Creation of the Laboratory for Fieldbus-based Automation Systems, Second IEEE Real-time Education Workshop, 1997 Montreal, IEEE Computer Society Press, Los Alamitos, Calif.
  97. Hanzálek, Z.: Laboratory for Distributed Real-time Control, IEEE Workshop on Real-time Systems Education, Daytona Beach, 1996, IEEE Computer Society Press, Los Alamitos.
  98. Hanzálek, Z.: Real-time Neural Controller Implemented on Parallel Architecture, IFAC Symposium on Artificial Intelligence in Real-time Control, Elsevier Science 1995.

Patents and recent application results

Book chapters

Technical Reports

Recent Awards

Running Projects

Past Projects

Industry Cooperation and Products

Demonstrators and Toolboxes

Documentation

Responsibilities

Chair or Co-Chair in Conference Committees

Valid HTML 4.01!