Karel Kubicek

According to our database, Karel Kubicek authored at least 7 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Distributed method for Economic Dispatch Problem with a battery system and a variable fuel price.

Karel Kubicek, Jindrich Wolf, Václav Helma

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

2022

Design of robust PI controller by combining robustness regions with time-domain criteria.

Vilém Zán, Karel Kubícek, Martin Cech

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

Distributed method for Economic Dispatch Problem in power network with multiple uncertainties.

Karel Kubícek, Jindrich Wolf

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing.

Tomás Ausberger, Karel Kubícek, Pavla Medvecová, Jindrich Wolf

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2020

Model Checking application on Function Block Diagram model.

Tomás Ausberger, Karel Kubícek, Pavla Medvecová, Tomás Myslivec, Milan Stetina

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Analytic method for automatic test case generation for Function Block Diagram.

Tomás Ausberger, Karel Kubícek, Pavla Medvecová, Tomás Myslivec, Milan Stetina

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

2019

Continuous enhancement in model-based software development and recent trends.

Karel Kubícek, Martin Cech, Jan Skach

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019