NOTION OF STRATEGIC NATIONAL SECURITY MANAGEMENT

by Remigiusz Wiśniewski
Published 2018-09-01

Dynamic Partial Reconfiguration of Concurrent Control Systems Specified by Petri Nets and Implemented in Xilinx FPGA Devices

by Remigiusz Wisniewski
Published 2018-01-01

Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets

by Remigiusz Wisniewski, Iwona Grobelna, Andrei Karatkevich
Published 2020-09-01

C-Exact Hypergraphs in Concurrency and Sequentiality Analyses of Cyber-Physical Systems Specified by Safe Petri Nets

by Remigiusz Wisniewski, Monika Wisniewska, Marcin Jarnut
Published 2019-01-01

Petri Net-Based Specification of Cyber-Physical Systems Oriented to Control Direct Matrix Converters With Space Vector Modulation

by Remigiusz Wisniewski, Grzegorz Bazydlo, Pawel Szczesniak, Marcin Wojnakowski
Published 2019-01-01

Design and Verification of Cyber-Physical Systems Specified by Petri Nets—A Case Study of a Direct Matrix Converter

by Remigiusz Wisniewski, Grzegorz Bazydło, Paweł Szcześniak, Iwona Grobelna, Marcin Wojnakowski
Published 2019-09-01

IEEE Access Special Section: Cyber-Physical Systems

by Remigiusz Wisniewski, Grzegorz Benysek, Luis Gomes, Dariusz Kania, Theodore Simos, Mengchu Zhou
Published 2019-01-01