Optimal Sensor Selection for Diagnosability Enforcement in Labeled Petri Nets, 2024, Shaopeng Hu , Zhiwu Li , Remigiusz Wiśniewski , IEEE Transactions on Systems, Man, and Cybernetics: Systems, Vol. 54, iss. 5, 2965--2977, ISSN: 2168-2216, bibliogr. summ.
Kod: CZR-N-WYKAZ BibTeX (pkt. 200) DOI: 10.1109/TSMC.2024.3351740

An Optimal Iterative Learning Control Approach for Linear Systems With Nonuniform Trial Lengths Under Input Constraints, 2022, Zhihe Zhuang , Hongfeng Tao , Yiyang Chen , Vladimir Stojanovic , Wojciech Paszke , IEEE Transactions on Systems, Man, and Cybernetics: Systems, Vol. 53, iss. 6, 3461--3473, ISSN: 2168-2216, bibliogr. summ.
Słowa kluczowe: input constraint, iterative learning control (ILC), nonuniform trial length, primal-dual interior point method
Kod: CZR-N-WYKAZ BibTeX (pkt. 200) DOI: 10.1109/TSMC.2022.3225381

A Polynomial-Time Algorithm to Obtain State Machine Cover of Live and Safe Petri Nets, 2020, Andrei Karatkevich , Remigiusz Wiśniewski , IEEE Transactions on Systems, Man, and Cybernetics: Systems, Vol. 50, iss. 10, 3592--3597, ISSN: 2168-2216, bibliogr. summ.
Słowa kluczowe: Approximation algorithms, Computational complexity, Concurrent computing, Integrated circuit modeling, Mathematical model, Petri nets, System recovery
Kod: CZR-N-WYKAZ BibTeX (pkt. 200) DOI: 10.1109/TSMC.2019.2894778

Guest Editorial Special Issue on Recent Advances in Petri Nets, Automata, and Discrete-Event Hybrid Systems, 2020, Remigiusz Wiśniewski , Mengchu Zhou , Luis Gomes , Maria Pia Fanti , Ratnesh Kumar , IEEE Transactions on Systems, Man, and Cybernetics: Systems, Vol. 50, iss. 1, 3484--3487, ISSN: 2168-2216, bibliogr. summ.
Kod: CZR-N-WYKAZ-0 BibTeX (pkt. 0) DOI: 10.1109/TSMC.2020.3020588

Design and verification of real-life processes with application of Petri nets, 2017, Iwona Grobelna , Remigiusz Wiśniewski , Michał Grobelny , Monika Wiśniewska , IEEE Transactions on Systems, Man, and Cybernetics: Systems, Vol. 47, iss. 11, 2856--2869, ISSN: 2168-2216,
Kod: CZR-JCR BibTeX (pkt. 35) DOI: 10.1109/TSMC.2016.2531673