Zdenek Hanzalek - personal web page

Czech Technical University in Prague Faculty of Electrical Engineering Department of Control Engineering Control Systems Group Karlovo namesti 13, 121 35 Prague 2 , Czech Republic tel.: +420 224355708, fax.: +420 224355703 http://dce.felk.cvut.cz/hanzalek/ hanzalek(at)fel.cvut.cz

---

Zdenek Hanzálek graduated in Electrical Engineering at the Czech Technical University (CTU) in Prague in 1990. He obtained his PhD degree in Industrial Informatics from the Universite Paul Sabatier Toulouse and PhD degree in Control Engineering from the CTU. He worked on optimization of parallel algorithms at LAAS CNRS - Laboratoire d'Analyse et d'Architecture des Systèmes in Toulouse (1992 to 1997) and on discrete event dynamic systems at LAG INPG - Institut National Polytechnique de Grenoble (1998 to 2000). From 2005, he holds a position of Associated Professor at the CTU, where he founded and coordinated the Industrial Informatics Group focusing on scheduling, combinatorial optimization algorithms, real-time control systems and industrial communication protocols. He has been involved in many international research projects (e.g. ARTIST2, FRESCOR, OCERA) and industrial contracts (e.g. Skoda, UniControls, UNIS, AZD, Volkswagen, Rockwell, Air Navigation Services). Zdenek is currently a deputy head at the Department of Control Engineering at CTU and a head of the Embedded Systems Group at the Center for Applied Cybernetics.

 

Lectures

• Distributed Control Systems
• Scheduling

Publications

Downloadable BibTeX file

Journal papers

• 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.

• Š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, article in press.

• 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.

• Kelbel, J. - Hanzálek, Z.: Solving production scheduling with earliness/tardiness penalties by constraint programming. Journal of Intelligent Manufacturing. doi 10.1007/s10845-009-0318-2, article in press, Springer.

• Šůcha, P., Hanzálek, Z.: A Cyclic Scheduling Problem with an Undetermined Number of Parallel Identical Processors. Computational Optimization and Applications, doi: 10.1007/s10589-009-9239-4, article in press, Springer.

• Špinka, O. - Akesson, J. - Hanzálek, Z. - Arzen, K.: Open Physical Models in Control Engineering Education. International Journal of Electrical Engineering Education, article in press, Manchester University Press.

• 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.

• 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.

• Šů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.

• 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. 

• Šů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.
• 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.

Book chapters

• Waszniowski, L. - Hanzálek, Z.: Model Checking of Multitasking Real Time Applications Based on the Timed Automata Model using One Clock. In: Gomes, L. - Fernandes, J.M.: Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation. ISBN 978-1-60566-750-8, IGI Global 2009.
• Hanzálek, Z., Čapek, J.: Channel Backlog Estimation in LonWorks. In: Mahalik, N.P.(Ed.): Fieldbus Technology - Industrial Network Standards for Real-Time Distributed Control. ISBN 3-540-40183-0, Springer 2003.

Conference papers

• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• Sigh, 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.
• 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.
• Šů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.
• 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.
• 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.
• 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.
• 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.
• Š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.
• Šů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.
• 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.
• Šů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.
• 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.
• 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.
• 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.
• Šů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.
• Š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.
• Šů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.
• 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.
• 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.
• 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.
• Šů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.
• 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.
• 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.
• 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.
• 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.
• Waszniowski, L., Hanzálek, Z.: Analysis of OSEK/VDX Based Automotive Applications, IFAC Symposium on Advances in Automotive Control, Salerno, Elsevier, April 2004.
• Šůcha, P., Hanzálek, Z.: Scheduling with Start Time Related Deadlines, IEEE Conference on Computer Aided Control Systems Design, Taipei, September 2-4, 2004.
• Krákora, J., Hanzálek, Z.: Verifying Real-Time Properties of CAN Bus by Timed Automata, FISITA, World Automotive Congress, Barcelona, May 2004.
• 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.
• 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.
• Svádová, M., Hanzálek, Z.: Modeling of systems with delays using Hybrid Petri Nets, IFAC Conference on Control Systems Design, Bratislava 2003.
• 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.
• 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.
• Hanzálek, Z., Svádová, M.: Matlab Toolbox for PetriNets, 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 2001.
• Hanzálek, Z., J.Čapek: STPN Model of Physical and MAC layer of LonWorks, IFAC Conference on Control Systems Design, Bratislava 2000.
• 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.
• Hanzálek, Z.: Algorithm Modeling with Petri Nets - Comparison with Data Dependence Graphs, IEEE International Conference on Systems, Man, and Cybernetics, La Jolla. 1998.
• 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.
• 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.
• 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.
• Hanzálek, Z.: Real-time Neural Controller Implemented on Parallel Architecture, IFAC Symposium on Artificial Intelligence in Real-time Control, Elsevier Science 1995.

Thesis

• Hanzálek, Z.: Parallel Algorithms for Distributed Control - A Petri Net Based Approach, PhD. thesis, Prague 1997.

Projects

• NewTechno - Optimized Production of Electro Contact and Harness Material for Future Vehicles - Eureka OE09004 .
• Framework for Real-time Embedded Systems based on COntRacts - FP6 IST-034026 FRESCOR
• The Research Programme no.MSM6840770038: Decision Making and Control for Manufacturing III .
• Centre for Applied Cybernetics .
• Modular FLY-BY-WIRE Control System for Light Aircraft - Tandem framework - Ministry of Industry and Trade of the Czech Republic .
• Embedded Systems Design - NoE in FP6 - IST-004527 ARTIST2
• Open Components for Embedded Real-time Applications – IST 35102 OCERA
• Global Communication Architecture and Protocols for new QoS services over IPv6 networks - IST 32696 GCAP
• Intensive Fish Culture Optimisation - IST 31080 IFiBO
• Advanced Control System Designer – Konsorcia framework - Ministry of Industry and Trade of the Czech Republic
• Participation in the evolution of the standardization for embedded software for automotive industry - Czech Academy of Sciences

Industry Cooperation and Products

• Air Navigation Services of the Czech Republic
• Profibus FDL Master for European Train Control System - commercialized via AZD to Czech Railways
• Autogyro board computer and data acquisition system - prototype of low-cost avionic system for ultra-light aircrafts
• ORTE - open source implementation of RTPS communication protocol .
• Implementation of Train Communication Network in VxWorks - commercialized via UniControls Ltd. to Alstom
• Profibus CZ - czech association
• Color sorter - laboratory model with remote access
• COP8 Microcontroller simulator in Java - commercialized via UNIS Ltd. to National Semiconductors
• Study of RT OS architecture and aircraft board computer documentation for AE270 plain - commercialized via UniControls Ltd. to Boeing/Aero
• Fieldbus systems (CAN, Profibus, Interbus S) and RT OS (Linux, VxWorks, OSEK) consulting and development

Demonstrators and Toolboxes

• Mobile robot
• Two-legged robot
• Helicopter
• TORSCHE Scheduling Toolbox for Matlab - freely available
• Petri Net Matlab toolbox - freely available

Responsibilities

• Vice head of the Department of Control Engineering
• Head of the Embedded Systems Group at the Centre for Applied Cybernetics

Chair in Conference Committees

• Euromicro Conference on Real-Time Systems 2008, Prague, July 2-4.
• IEEE Workshop on Parallel and Distributed Real-Time Systems 2007, In conjunction with IPDPS 2007, Long Beach, California, USA, March 26-27, 
• IEEE Workshop on Parallel and Distributed Real-Time Systems 2006, In conjunction with IPDPS 2006, Island of Rhodes, Greece, April 25-26

Member in Programme Committees

• ECRTS 10, ECRTS 09, ECRTS 07, ECRTS 06, ECRTS 05, Euromicro Conference on Real-Time Systems
• WPDRTS 06, WPDRTS 05, IEEE Workshop on Parallel and Distributed Real-Time Systems
• WFCS 10, WFCS08, WFCS 06, WFCS 04, WFCS 2000, IEEE International Workshop on Factory Communication Systems
• ETFA07, ETFA 06, ETFA 05, IEEE International Conference on Emerging Technologies and Factory Automation
• CACSD 06, CACSD 04, IEEE International Symposium on Computer Aided Control Systems Design
• IFAC 05, IFAC world congress

Summer Schools and National Events

• Embedded systems colloquium Prague 2005, 2007, 2008, 2009 and 2010
• Embedded RTLinux Intro 2007 Summer School, Prague, June 18-22
• ARTIST2 Graduate Course on Embedded Control Systems 2006, Prague, April 3-7
• IFAC Summer School on Control, Computing and Communication 2005, Prague, June 27 - July 1

Complete list of publications & projects

---