Zdenek Hanzalek
Title
Cited by
Cited by
Year
Energy efficient scheduling for cluster-tree wireless sensor networks with time-bounded data flows: Application to IEEE 802.15. 4/ZigBee
Z Hanzalek, P Jurcik
IEEE Transactions on Industrial Informatics 6 (3), 438-450, 2010
1352010
A simulation model for the IEEE 802.15. 4 protocol: delay/throughput evaluation of the GTS mechanism
P JurcĂk, M Alves, E Tovar, Z Hanzálek
2007 15th International Symposium on Modeling, Analysis, and Simulation of …, 2007
1322007
Profinet IO IRT message scheduling with temporal constraints
Z Hanzálek, P Burget, P Šůcha
IEEE Transactions on Industrial Informatics 6 (3), 369-380, 2010
992010
Formal verification of multitasking applications based on timed automata model
L Waszniowski, Z Hanzálek
Real-Time Systems 38 (1), 39-65, 2008
722008
On the Ethernet use for real-time publish-subscribe based applications
O Dolejs, P Smolik, Z Hanzalek
IEEE International Workshop on Factory Communication Systems, 2004 …, 2004
592004
Production scheduling with alternative process plans
R Čapek, P Šůcha, Z Hanzálek
European Journal of Operational Research 217 (2), 300-311, 2012
512012
Low-cost reconfigurable control system for small UAVs
O Spinka, O Holub, Z Hanzálek
IEEE Transactions on Industrial Electronics 58 (3), 880-889, 2009
512009
Modular software architecture for flexible reservation mechanisms on heterogeneous resources
M Sojka, P Píša, D Faggioli, T Cucinotta, F Checconi, Z Hanzálek, G Lipari
Journal of Systems Architecture 57 (4), 366-382, 2011
492011
Profinet IO IRT message scheduling
Z Hanzálek, P Burget, P Šucha
2009 21st Euromicro Conference on Real-Time Systems, 57-65, 2009
432009
Tool supporting the co-design of control systems and their real-time implementation: current status and future directions
M Torngren, D Henriksson, KE Arzen, A Cervin, Z Hanzalek
2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE …, 2006
412006
Solving the resource constrained project scheduling problem using the parallel tabu search designed for the CUDA platform
L Bukata, P Šůcha, Z Hanzálek
Journal of Parallel and Distributed Computing 77, 58-68, 2015
372015
Case study on distributed and fault tolerant system modeling based on timed automata
L Waszniowski, J Krákora, Z Hanzálek
Journal of Systems and Software 82 (10), 1678-1694, 2009
372009
Energy optimization of robotic cells
L Bukata, P Šůcha, Z Hanzálek, P Burget
IEEE Transactions on Industrial Informatics 13 (1), 92-102, 2016
362016
Torsche scheduling toolbox for matlab
P Šůcha, M Kutil, M Sojka, Z Hanzálek
IEEE International Symposium on Computer-Aided Control Systems Design …, 2006
362006
Torsche scheduling toolbox for matlab
P Sucha, M Kutil, M Sojka, Z Hanzálek
2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE …, 2006
352006
Co-design of Control Systems and their real-time implementation-A Tool Survey
M Törngren, D Henriksson, O Redell, C Kirsch, J El-Khoury, D Simon, ...
272006
Timed automata approach to real time distributed system verification
J Krákora, L Waszniowski, P Pisa, Z Hanzálek
IEEE International Workshop on Factory Communication Systems, 2004 …, 2004
272004
Scheduling of iterative algorithms on FPGA with pipelined arithmetic unit
P Sucha, Z Pohl, Z Hanzálek
Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and …, 2004
262004
A parallel algorithm for gradient training of feedforward neural networks
Z Hanzálek
Parallel Computing 24 (5-6), 823-839, 1998
261998
Timed automata approach to CAN verification
J Krakora, Z Hanzalek
IFAC Proceedings Volumes 37 (4), 147-152, 2004
242004
The system can't perform the operation now. Try again later.
Articles 1–20