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 Hanzálek, P Jurcik
IEEE Transactions on Industrial Informatics 6 (3), 438-450, 2010
1322010
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
1282007
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
922010
Formal verification of multitasking applications based on timed automata model
L Waszniowski, Z Hanzálek
Real-Time Systems 38 (1), 39-65, 2008
702008
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
682006
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
562004
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
502009
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
472011
Profinet IO IRT message scheduling
Z Hanzálek, P Burget, P Šucha
2009 21st Euromicro Conference on Real-Time Systems, 57-65, 2009
412009
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
392006
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
352015
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
352009
Energy optimization of robotic cells
L Bukata, P Šůcha, Z Hanzálek, P Burget
IEEE Transactions on Industrial Informatics 13 (1), 92-102, 2016
302016
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
Timed automata approach to CAN verification
J Krakora, Z Hanzalek
IFAC Proceedings Volumes 37 (4), 147-152, 2004
252004
A parallel algorithm for gradient training of feedforward neural networks
Z Hanzálek
Parallel Computing 24 (5-6), 823-839, 1998
251998
Matlab toolbox for petri nets
M Svádová, Z Hanzálek
22nd International conference ICATPN 2001, 32-36, 2001
242001
The system can't perform the operation now. Try again later.
Articles 1–20