Karel Kubicek
Orcid: 0000-0002-1228-8422Affiliations:
- University of West Bohemia, Plzen, Czech Republic
According to our database1,
Karel Kubicek
authored at least 8 papers
between 2019 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Functionally-Equivalent Formalization and Automated Model Checking of Function Block Diagrams.
IEEE Access, 2025
2023
Distributed method for Economic Dispatch Problem with a battery system and a variable fuel price.
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.
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.
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.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022
2020
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020
2019
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019