Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks., , , , , and . ICNSC, page 1-6. IEEE, (2023)Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net., , , and . DoCEIS, volume 678 of IFIP Advances in Information and Communication Technology, page 205-215. Springer, (2023)Specification of Cyber-Physical Systems with the Application of Interpreted Nets., , and . IECON, page 5887-5891. IEEE, (2019)Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools., , , , and . IECON, page 5843-5848. IEEE, (2019)Design and Verification of Real-Life Processes With Application of Petri Nets., , , and . IEEE Trans. Syst. Man Cybern. Syst., 47 (11): 2856-2869 (2017)C-Exact Hypergraphs in Concurrency and Sequentiality Analyses of Cyber-Physical Systems Specified by Safe Petri Nets., , and . IEEE Access, (2019)Decomposition, validation and documentation of control process specification in form of a Petri net., , , , and . HSI, page 232-237. IEEE, (2014)Petri Net-Based Specification of Cyber-Physical Systems Oriented to Control Direct Matrix Converters With Space Vector Modulation., , , and . IEEE Access, (2019)IEEE Access Special Section: Cyber-Physical Systems., , , , , and . IEEE Access, (2019)Application of an Exact Transversal Hypergraph in Selection of SM-Components., , and . DoCEIS, volume 394 of IFIP Advances in Information and Communication Technology, page 250-257. Springer, (2013)