Zdenek Hanzalek - personal web page

Czech Technical University in Prague Faculty of Electrical Engineering Department of Control Engineering Industrial Informatics Group Karlovo namesti 13, 121 35 Prague 2 , Czech Republic tel.: +420 224355708, fax.: +420 224355703 http://dce.fel.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 Industrial Informatics Group. From 2011, he serves as Senior Manager of newly established Mechatronics group at Porsche Engineering Services s.r.o. in Prague.

Open Positions

Lectures

• Combinatorial Optimization
• Distributed Control Systems
• Scheduling

Graduated PhD. students

• Supervised by Zdenek: Přemysl Šůcha, Jan Krákora, Petr Jurčík, Michal Kutil, Ondřej Špinka and Michal Sojka
• Co-supervised by Zdenek: Josef Čapek, Miroslav Dub, Libor Waszniowski, Ondřej Dolejš, Martina Svádová a Pavel Burget.

Publications

Downloadable BibTeX file

Journal papers

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

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

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

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

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

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

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

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

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

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

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

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

• 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

• Kutil, M. - Šůcha, P. - Čapek, R. - Hanzálek, Z.: Optimization and Scheduling Toolbox. In Matlab - Modelling, Programming and Simulations, p. 239-260. ISBN 978-953-307-125-1, Sciyo 2010.
• 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

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

Technical Reports

• Hanzálek, Z.: Resolution of Actual Conflicts in Constant Speed Continuous Petri Nets, Technical Report CTU Prague 2004.

Thesis

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

Running Projects

• ADORES - Adaptive Scheduling and Optimization Algorithms for Distributed Real-time Embedded Systems - GACR P103/12/1994 .
• EFIS - Energy Efficient Scheduling in Data Processing and Communication - AMVIS, Ministry of Education of the Czech Republic
• SESAMO - Component-oriented Design Methodology for Safety and Security modelling, ARTEMIS FP7 EU .
• DEMANES - Design, Monitoring and Operation of Adaptive Networked Embedded Systems, ARTEMIS FP7 EU .
• REMI - Rescheduling Algorithms for Mixed-criticality Real-time Systems, Office of Naval Research Global N62909-12-1-7009, US Navy .
• CAK- Centre for Applied Cybernetics - TACR .
   

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

• Personnel Scheduling for Air Navigation Services of the Czech Republic via Merica
• 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
• COP8 Microcontroller simulator in Java - commercialized via UNIS 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
• QoS management and performance evaluation of CAN-CAN gateway - Volkswagen
• Rapid prototyping platform for development of Electronic Control Unis - Porsche Engineering Services

Demonstrators and Toolboxes

• Helicopter
• TORSCHE Scheduling Toolbox for Matlab - freely available
• Petri Net Matlab toolbox - freely available
• Eurobot team of our group
• TDCS scheduling tool for IEEE 802.15.4/ZigBee beacon-enabled cluster-tree WSNs
• UPPAAL models for verification of real-time systems

Responsibilities

• Deputy head of the Department of Control Engineering
• Head of the Embedded Systems Group at the Centre for Applied Cybernetics
• Senior Manager of Mechatronics Group at Porsche Engineering Services s.r.o. in Prague

Chair in Conference Committees

• EUROSYS 2013, European Professional Society on Computer Systems Conference, Prague, April 2013.
• 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

• RTSS 11, IEEE Real-Time Systems Symposium
• RTAS 11, IEEE Real-Time and Embedded Technology and Applications Symposium
• 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
• RTCSA 2010, IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
• 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, 2010, 2011
• 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