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
1292010
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
1252007
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
872010
Formal verification of multitasking applications based on timed automata model
L Waszniowski, Z Hanzálek
Real-Time Systems 38 (1), 39-65, 2008
672008
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
662006
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
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
482009
Production scheduling with alternative process plans
R Čapek, P Šůcha, Z Hanzálek
European Journal of Operational Research 217 (2), 300-311, 2012
472012
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
462011
Profinet IO IRT message scheduling
Z Hanzálek, P Burget, P Šucha
2009 21st Euromicro Conference on Real-Time Systems, 57-65, 2009
402009
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
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
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
332015
Energy optimization of robotic cells
L Bukata, P Šůcha, Z Hanzálek, P Burget
IEEE Transactions on Industrial Informatics 13 (1), 92-102, 2016
292016
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
262004
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
251998
Timed automata approach to CAN verification
J Krakora, Z Hanzalek
IFAC Proceedings Volumes 37 (4), 147-152, 2004
242004
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