Designing Reconfigurable Cyber-Physical Systems Using Unified Modeling Language von Bazydlo, Grzegorz

Volltext

Reachability tree in liveness analysis of Petri net-based cyber-physical systems von Popławski, Mateusz, Wojnakowski, Marcin, Bazydło, Grzegorz, Wiśniewski, Remigiusz

Volltext

Safeness analysis of Petri net-based cyber-physical systems based on the linear algebra and parallel reductions von Wojnakowski, Marcin, Popławski, Mateusz, Wiśniewski, Remigiusz, Bazydło, Grzegorz

Volltext

Trusted Third Party Application in Durable Medium e-Service von Bazydło, Grzegorz, Kozdrój, Kamil, Wiśniewski, Remigiusz, Bhattacharjya, Aniruddha

Volltext

Trusted and Secure Blockchain-Based Durable Medium Electronic Service von Bazydło, Grzegorz, Wiśniewski, Remigiusz, Kozdrój, Kamil

Volltext

Design and Verification of Cyber-Physical Systems Specified by Petri Nets—A Case Study of a Direct Matrix Converter von Wisniewski, Remigiusz, Bazydło, Grzegorz, Szcześniak, Paweł, Grobelna, Iwona, Wojnakowski, Marcin

Volltext

Demand side management through home area network systems von Bazydło, Grzegorz, Wermiński, Szymon

Volltext

Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems von Wojnakowski, Marcin, Wiśniewski, Remigiusz, Bazydło, Grzegorz, Popławski, Mateusz

Volltext

Trusted and Secure Blockchain-Based Architecture for Internet-of-Medical-Things von Bhattacharjya, Aniruddha, Kozdrój, Kamil, Bazydło, Grzegorz, Wisniewski, Remigiusz

Volltext

Model driven architecture approach to logic controller design von Łabiak, Grzegorz, Bazydło, Grzegorz

Volltext

Initial verification of liveness property in the control part of cyber-physical systems modelled by Petri nets von Popławski, Mateusz, Wojnakowski, Marcin, Wiśniewski, Remigiusz, Bazydło, Grzegorz

Volltext

User awareness in IoT security. A survey of Polish users von Grobelna, Iwona, Grobelny, Michał, Bazydło, Grzegorz

Volltext

The use of UML and Petri net for graphic specification of the reconfigurable logic controllers von Bazydło, Grzegorz, Wojnakowski, Marcin, Wiśniewski, Remigiusz

Volltext

Petri Net-Based Specification of Cyber-Physical Systems Oriented to Control Direct Matrix Converters With Space Vector Modulation von Wisniewski, Remigiusz, Bazydlo, Grzegorz, Szczesniak, Pawel, Wojnakowski, Marcin

Volltext

IoT security with one-time pad secure algorithm based on the double memory technique von Wiśniewski, Remigiusz, Grobelny, Michał, Grobelna, Iwona, Bazydło, Grzegorz

Volltext

Trusted and secure e-service based on the durable medium and blockchain technology von Kozdrój, Kamil, Bazydło, Grzegorz, Wiśniewski, Remigiusz, Starościc, Jacek

Volltext

Dual-model approach for safety-critical embedded systems von Łabiak, Grzegorz, Wȩgrzyn, Marek, Rosado-Muñoz, Alfredo, Bazydło, Grzegorz

Volltext

Preface of the “Symposium on Logic Synthesis and Control Systems” von Czerwinski, Robert, Kania, Dariusz, Kubica, Marcin, Wiśniewski, Remigiusz, Bazydło, Grzegorz

Volltext

Preface of the “Symposium on Control of Cyber-Physical Systems” von Bazydło, Grzegorz, Wiśniewski, Remigiusz, Rudnicki, Tomasz, Wyrwoł, Bernard, Kania, Dariusz, Czerwiński, Robert

Volltext

Supremal and Robust Control against Actuator Jamming Attacks in Cyber-Physical Systems von Duo, Wenli, Wang, Shouguang, Zhou, MengChu, You, Dan, Wisniewski, Remigiusz, Bazydlo, Grzegorz, Albeshri, Aiiad

Volltext